Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge. A logic of games and propositional control. In Carles Sierra, Cristiano Castelfranchi, Keith S. Decker, Jaime Simão Sichman, editors, 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2. pages 961-968, IFAAMAS, 2009. [doi]
Abstract is missing.