Logical dynamics of information and interaction

"This book develops a new view of logic as a theory of information-driven agency and intelligent interaction between many agents - with conversation, argumentation and games as guiding examples. It provides one uniform account of dynamic logics for acts of inference, observation, questions and...

Disgrifiad llawn

Wedi'i Gadw mewn:
Manylion Llyfryddiaeth
Prif Awdur: Benthem, J. F. A. K. van, 1949-
Awdur Corfforaethol: ebrary, Inc
Fformat: Electronig eLyfr
Iaith:Saesneg
Cyhoeddwyd: Cambridge ; New York : Cambridge University Press, 2011.
Pynciau:
Mynediad Ar-lein:An electronic book accessible through the World Wide Web; click to view
Tagiau: Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
Tabl Cynhwysion:
  • Machine generated contents note: Preface; 1. Logical dynamics, agency, and intelligent interaction; 2. Epistemic logic and semantic information; 3. Dynamic logic of public observation; 4. Multi-agent dynamic-epistemic logic; 5. Dynamics of inference and awareness; 6. Questions and issue management; 7. Soft information, correction, and belief change; 8. An encounter with probability; 9. Preference statics and dynamics; 10. Decisions, actions, and games; 11. Processes over time; 12. Epistemic group structure and collective agency; 13. Logical dynamics in philosophy; 14. Computation as conversation; 15. Rational dynamics in game theory; 16. Meeting cognitive realities; 17. Conclusion; Bibliography.