Playing extensive form games in parallel

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.

© Springer-Verlag.

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.