An Isaac Newton Institute Workshop

Games and Verification (GAMES 2006)

Dynamic-Epistemic Logic of Games

Abstract

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.