R. Ramanujam and Sunil Simon
Pre-Proc. Workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS 2008), pages 140-154, 2008.
We consider a dynamic logic of game composition, where atomic games are in normal form. We suggest that it is useful to consider a modality indexed by game - play pairs. We show how we can reason not only about notions like strategy comparison, dominated strategies and equilibrium in such a framework, but also strategic response, whereby the choice of a player depends on plays observed in the past. This makes for a significant difference in the presence of unbounded iteration. We present a complete axiomatization of the logic and prove its decidability.