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