Logical Dynamics of Information and Interaction
1st Edition
Published on 20. March 2012
978-1-139-18055-9 (ISBN)
Description
This book develops a 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 communication, that can handle both update of knowledge and revision of beliefs. It then extends the dynamic style of analysis to include changing preferences and goals, temporal processes, group action and strategic interaction in games. Throughout, the book develops a mathematical theory unifying all these systems, and positioning them at the interface of logic, philosophy, computer science and game theory. A series of further chapters explores repercussions of the 'dynamic stance' for these areas, as well as cognitive science.
Reviews / Votes
'Logical Dynamics [of Information and Interaction] is at the frontiers of applied logic. This is an essential book for any student of the subject, written by a master of the field.' Dov Gabbay, King's College London '... this book is the best we can have for now as a great source for the research in the field of logical dynamics of information and interaction. It can be used as a handbook of DEL as well. I think the author has succeeded in demonstrating a new view of logic as a theory of information flow in the interaction of agents.' Yanjing Wang, Studia LogicaMore details
Language
English
Place of publication
Cambridge
United Kingdom
Publishing group
Cambridge University Press
Target group
Professional and scholarly
Illustrations
147 Line drawings, unspecified
File size
5,07 MB
ISBN-13
978-1-139-18055-9 (9781139180559)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions
Johan van Benthem
Logical Dynamics of Information and Interaction
Book
06/2014
Cambridge University Press
€67.70
Shipment within 15-20 days
Johan van Benthem
Logical Dynamics of Information and Interaction
Book
09/2011
Cambridge University Press
€138.40
Shipment within 15-20 days
Person
Johan van Benthem is University Professor of Logic at the University of Amsterdam, Henry Waldgrave Stuart Professor of Philosophy at Stanford University, and Weilun Visiting Professor at Tsinghua University, Beijing. He is the author of Language in Action (1991) and Exploring Logical Dynamics (1996) and an editor of the Handbook of Modal Logic (2006), the Handbook of Spatial Logics (2007) and Philosophy of Information (2008).
Content
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.
