Logical Dynamics of Information and Interaction

by Johan van Benthem

• ISBN13: 9780521765794
• ISBN10: 052176579X
• Format: Hardcover
• Copyright: 2011-11-14
• Publisher: Cambridge University Press

Summary

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

Table of Contents

Preface	p. ix
Acknowledgments	p. xi
Logical dynamics, agency, and intelligent interaction	p. 1
Epistemic logic and semantic information	p. 21
Dynamic logic of public observation	p. 45
Multi-agent dynamic-epistemic logic	p. 76
Dynamics of inference and awareness	p. 100
Questions and issue management	p. 114
Soft information, correction, and belief change	p. 130
An encounter with probability	p. 156
Preference statics and dynamics	p. 174
Decisions, actions, and games	p. 195
Processes over time	p. 228
Epistemic group structure and collective agency	p. 253
Logical dynamics in philosophy	p. 268
Computation as conversation	p. 303
Rational dynamics in game theory	p. 313
Meeting cognitive realities	p. 330
Conclusion	p. 342
References	p. 346
Index	p. 370
Table of Contents provided by Ingram. All Rights Reserved.