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.
- http://staff.science.uva.nl/~johan/Research - the general background
- http://staff.science.uva.nl/~johan/seminar2006.html - a recent seminar
- www.illc.uva.nl/Publications/ResearchReports/PP-2005-20.text.pdf - open problems in the area
- http://www.illc.uva.nl/lgc/ - ILLC's activities in the area
- http://www.illc.uva.nl/GLoRiClass/ - a new Marie Curie Centre