@inproceedings(aa12aamas,
 author       = {{\r A}gotnes, Thomas and Natasha Alechina},
 year         = {2012},
 title        = {Epistemic coalition logic: completeness and complexity},
 booktitle    = {Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems-Volume 2},
 organization = {International Foundation for Autonomous Agents and Multiagent Systems},
 pages        = {1099--1106},
)
@article(abvs10jal,
 author       = {{\r A}gotnes, Thomas and Philippe Balbiani and Hans van Ditmarsch and Pablo Seban},
 year         = {2010},
 title        = {Group announcement logic},
 journal      = {Journal of Applied Logic},
 volume       = {8},
 number       = {1},
 pages        = {62 -- 81},
 doi          = {10.1016/j.jal.2008.12.002},
)
@article(avw09ai,
 author       = {{\r A}gotnes, Thomas and Wiebe van der Hoek and Michael Wooldridge},
 year         = {2009},
 title        = {Reasoning about coalitional games},
 journal      = {Artificial Intelligence},
 volume       = {173},
 number       = {1},
 pages        = {45 -- 79},
 doi          = {10.1016/j.artint.2008.08.004},
)
@inproceedings(aeh75sigop,
 author       = {Eralp A Akkoyunlu and Kattamuri Ekanadham and RV Huber},
 year         = {1975},
 title        = {Some constraints and tradeoffs in the design of network communications},
 booktitle    = {ACM SIGOPS Operating Systems Review},
 volume       = {9},
 organization = {ACM},
 pages        = {67--74},
 doi          = {10.1145/800213.806523},
)
@article(ahk02,
 author       = {Rajeev Alur and Thomas A. Henzinger and Orna Kupferman},
 year         = {2002},
 title        = {Alternating-time temporal logic},
 journal      = {Journal of the ACM},
 volume       = {49},
 number       = {5},
 pages        = {672--713},
 doi          = {10.1145/585265.585270},
)
@inproceedings(b14sr,
 author       = {Francesco Belardinelli},
 year         = {2014},
 title        = {Reasoning about Knowledge and Strategies: Epistemic Strategy Logic},
 booktitle    = {Proceedings 2nd International Workshop on Strategic Reasoning, {SR} 2014, Grenoble, France, April 5-6, 2014},
 series       = {{EPTCS}},
 volume       = {146},
 pages        = {27--33},
 doi          = {10.4204/EPTCS.146.4},
)
@inproceedings(b07ijcai,
 author       = {Stefano Borgo},
 year         = {2007},
 title        = {Coalitions in Action Logic},
 booktitle    = {20th International Joint Conference on Artificial Intelligence},
 pages        = {1822--1827},
)
@book(fhmv95,
 author       = {Ronald Fagin and Joseph Y. Halpern and Yoram Moses and Moshe Y. Vardi},
 year         = {1995},
 title        = {Reasoning about knowledge},
 publisher    = {MIT Press},
 address      = {Cambridge, MA},
)
@inproceedings(g01tark,
 author       = {Valentin Goranko},
 year         = {2001},
 title        = {Coalition games and alternating temporal logics},
 booktitle    = {Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge},
 organization = {Morgan Kaufmann Publishers Inc.},
 pages        = {259--272},
)
@incollection(g78os,
 author       = {James N Gray},
 year         = {1978},
 title        = {Notes on data base operating systems},
 booktitle    = {Operating Systems},
 publisher    = {Springer},
 pages        = {393--481},
 doi          = {10.1007/3-540-08755-9_9},
)
@article(vw03sl,
 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},
)
@article(vw05ai,
 author       = {Wiebe van der Hoek and Michael Wooldridge},
 year         = {2005},
 title        = {On the logic of cooperation and propositional control},
 journal      = {Artificial Intelligence},
 volume       = {164},
 number       = {1},
 pages        = {81 -- 119},
 doi          = {10.1016/j.artint.2005.01.003},
)
@article(ja07jancl,
 author       = {Wojciech Jamroga and {\r A}gotnes, Thomas},
 year         = {2007},
 title        = {Constructive knowledge: what agents can achieve under imperfect information},
 journal      = {Journal of Applied Non-Classical Logics},
 volume       = {17},
 number       = {4},
 pages        = {423--475},
 doi          = {10.3166/jancl.17.423-475},
)
@article(jv04fm,
 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--219},
)
@article(mn12tocl,
 author       = {Sara Miner More and Pavel Naumov},
 year         = {2012},
 title        = {Calculus of Cooperation and Game-based Reasoning About Protocol Privacy},
 journal      = {ACM Trans. Comput. Logic},
 volume       = {13},
 number       = {3},
 pages        = {22:1--22:21},
 doi          = {10.1145/2287718.2287722},
)
@inproceedings(nt17aamas,
 author       = {Pavel Naumov and Jia Tao},
 year         = {2017},
 title        = {Coalition Power in Epistemic Transition Systems},
 booktitle    = {Proceedings of the 2017 International Conference on Autonomous Agents and Multiagent Systems (AAMAS)},
 pages        = {723--731},
)
@article(nt17arxiv-together,
 author       = {Pavel Naumov and Jia Tao},
 year         = {2017},
 title        = {Together We Know How to Achieve: An Epistemic Logic of Know-How},
 journal      = {arXiv:1705.09349},
)
@phdthesis(p01illc,
 author       = {Marc Pauly},
 year         = {2001},
 title        = {Logic for Social Software},
 school       = {Institute for Logic, Language, and Computation},
)
@article(p02,
 author       = {Marc Pauly},
 year         = {2002},
 title        = {A Modal Logic for Coalitional Power in Games},
 journal      = {Journal of Logic and Computation},
 volume       = {12},
 number       = {1},
 pages        = {149--166},
 doi          = {10.1093/logcom/12.1.149},
)
@inproceedings(sgvw06aamas,
 author       = {Luigi Sauro and Jelle Gerbrandy and Wiebe van der Hoek and Michael Wooldridge},
 year         = {2006},
 title        = {Reasoning About Action and Cooperation},
 booktitle    = {Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems},
 series       = {AAMAS '06},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {185--192},
 doi          = {10.1145/1160633.1160663},
)
@article(v01ber,
 author       = {Van Benthem, Johan},
 year         = {2001},
 title        = {Games in Dynamic-Epistemic Logic},
 journal      = {Bulletin of Economic Research},
 volume       = {53},
 number       = {4},
 pages        = {219--248},
 doi          = {10.1111/1467-8586.00133},
)
@article(w17synthese,
 author       = {Yanjing Wang},
 title        = {A Logic of Goal-directed Knowing How},
 journal      = {Synthese},
 note         = {(to appear)},
 doi          = {10.1007/s11229-016-1272-0},
)
@incollection(w15lori,
 author       = {Yanjing Wang},
 year         = {2015},
 title        = {A logic of knowing how},
 booktitle    = {Logic, Rationality, and Interaction},
 publisher    = {Springer},
 pages        = {392--405},
 doi          = {10.1007/978-3-662-48561-3_32},
)