Sujata Ghosh, R. Ramanujam and Sunil Simon
Proc. 11th International Workshop on
Computational Logic in Multi-Agent Systems (CLIMA XI), LNAI 6245, pages 153-170, Springer, 2010.
Consider a player playing against different opponents in two extensive form games simultaneously. Can she then have a strategy in one game using information from the other? The famous example of playing chess against two grandmasters simultaneously illustrates such reasoning. We consider a simple dynamic logic of extensive form games with sequential and parallel composition in which such situations can be expressed. We present a complete axiomatization and show that the satisfiability problem for the logic is decidable.