Encounters between logic and games

Logical games

From Logic games to general game structure

Games as interactive processes in distributed computing.

Logic meets game theory

From Logic and Game theory to Theory of Play

Conclusion

Contents of this book

People: Johan Van Benthem.

1. Introduction: Exploring the Realm of Logic in Games.
2. Part I: Game Logics and Process Structure
   1. Intro
   2. Games as Processes: Definability and Invariance
   3. Preference, Game Solution, and Best Action
   4. Games with Imperfect Information
   5. Making Strategies Explicit.
   6. Infinite Games and Temporal Evolution
   7. From Games to Models for Games
   8. Conclusion
3. Part II: Logical Dynamics and Theory of Play
   1. Intro
   2. Logical Dynamics in a Nutshell
   3. Deliberation as Iterated Update
   4. Dynamic Epistemic Mechanisms of Play
   5. Toward a Theory of Play
   6. Conclusion
4. Part III: Players’ Powers and Strategic Games
   1. Intro
   2. Forcing Powers
   3. Matrix Games and Their Logics
   4. Rational Dynamics for Strategic Games
   5. Conclusion
5. Part IV: Logic Games
   1. Intro
   2. Formula Evaluation
   3. Model Comparision
   4. Model Construction
   5. Argumentation and Dialogue
   6. General Lines through Logic Games
   7. Conclusion
6. Part V: Operations on Games
   1. Into
   2. Dynamic (Non -Linear) Logic for Sequential Game Operations
   3. Linear Logic of Parallel Game Operations
   4. Conclusion
7. Part VI: Comparisons and Merges
   1. Intro
   2. Logic Games with Imperfect Information
   3. Knowledge Games
   4. Sabotage Games and Computation
   5. Logic Games can Represent Game Logics
   6. Merging Logic Games with Game Logics
   7. Conclusion
8. Conclusion