The INI has a new website!

This is a legacy webpage. Please visit the new site to ensure you are seeing up to date information.

Skip to content



Dynamic-epistemic logic of games

van Benthem, J (Stanford and Amsterdam)
Monday 03 July 2006, 09:00-10:25

Seminar Room 1, Newton Institute


Games involve actions, knowledge, beliefs, strategies, preferences, and all of these can change interactively as moves are being played. We will show how such phenomena can be modeled in current dynamic logics of information update, belief change, and preference upgrade. This perspective sits at the interface of philosophical logic, computational logic, and game theory. We give some illustrations to communication, and solution procedures for games, and we mention a number of open problems in the area, both conceptual and technical.

Related Links


[pdf ]


MP3MP3 Real AudioReal Audio

Back to top ∧