Logical Dynamics of Information and Interaction

Front Cover
Cambridge University Press, Sep 29, 2011 - Mathematics
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.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

1 Logical dynamics agency and intelligent interaction
1
2 Epistemic logic and semantic information
21
3 Dynamic logic of public observation
45
4 Multiagent dynamicepistemic logic
76
5 Dynamics of inference and awareness
100
6 Questions and issue management
114
7 Soft information correction and belief change
130
8 An encounter with probability
156
11 Processes over time
228
12 Epistemic group structure and collective agency
253
13 Logical dynamics in philosophy
268
14 Computation as conversation
303
15 Rational dynamics in game theory
313
16 Meeting cognitive realities
330
17 Conclusion
342
References
346

9 Preference statics and dynamics
174
10 Decisions actions and games
195

Other editions - View all

Common terms and phrases

About the author (2011)

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).

Bibliographic information