Course: Logic in Games

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