Thomas Ågotnes, Valentin Goranko, Wojciech Jamroga & Michael Wooldridge (2015):
Knowledge and Ability.
In: Handbook of Epistemic Logic.
College Publications,
London,
pp. 543–589.
Rajeev Alur, Thomas A. Henzinger & Orna Kupferman (2002):
Alternating-time temporal logic.
Journal of the ACM (JACM) 49(5),
pp. 672–713,
doi:10.1145/585265.585270.
Nuel Belnap, Michael Perloff & Ming Xu (2001):
Facing the Future. Agents and Choices in Our Indeterminist World..
Oxford University Press.
Johan van Benthem (2002):
Extensive games as process models.
Journal of logic, language and information 11(3),
pp. 289–313,
doi:10.1023/A:1015534111901.
Jan Broersen (2009):
A stit-Logic for Extensive Form Group Strategies.
In: Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology-Volume 03.
IEEE Computer Society,
pp. 484–487,
doi:10.1109/WI-IAT.2009.331.
Krishnendu Chatterjee, Thomas A. Henzinger & Nir Piterman (2007):
Strategy logic.
In: CONCUR 2007Concurrency Theory.
Springer,
pp. 59–73,
doi:10.1016/j.ic.2009.07.004.
Wiebe van der Hoek, Wojciech Jamroga & Michael Wooldridge (2005):
A logic for strategic reasoning.
In: Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems.
ACM,
pp. 157–164,
doi:10.1145/1082473.1082497.
Wiebe van der Hoek & Michael Wooldridge (2003):
Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications.
Studia Logica 75(1),
pp. 125–157,
doi:10.1023/A:1026171312755.
John F. Horty (2001):
Agency and deontic logic.
Oxford: Oxford University Press,
doi:10.1093/0195134613.001.0001.
Wojciech Jamroga & Wiebe van der Hoek (2004):
Agents that know how to play.
Fundamenta Informaticae 63(2-3),
pp. 185–220.
Sophia Knight & Bastien Maubert (2015):
Dealing with imperfect information in Strategy Logic.
In: Proceedings of the 3rd International Workshop on Strategic Reasoning 20.
Fabio Mogavero (2013):
Reasoning About Strategies.
In: Logics in Computer Science.
Atlantis Press,
pp. 85–116,
doi:10.2991/978-94-91216-95-4_4.
Fabio Mogavero, Aniello Murano & Luigi Sauro (2014):
A behavioral hierarchy of strategy logic.
In: Computational Logic in Multi-Agent Systems.
Springer,
pp. 148–165,
doi:10.1007/978-3-319-09764-0_10.
Rohit Parikh (1985):
The logic of games and its applications.
North-Holland Mathematics Studies 102,
pp. 111–139,
doi:10.1016/S0304-0208(08)73078-0.
Marc Pauly & Rohit Parikh (2003):
Game logic-an overview.
Studia Logica 75(2),
pp. 165–182,
doi:10.1023/A:1027354826364.
Ramaswamy Ramanujam & Sunil Easaw Simon (2008):
Dynamic Logic on Games with Structured Strategies.
In: KR,
pp. 49–58.
Dongmo Zhang & Michael Thielscher (2014):
Representing and Reasoning about Game Strategies.
Journal of Philosophical Logic 44(2),
pp. 203–236,
doi:10.1007/s10992-014-9334-6.
eptcs@eptcs.org