@inproceedings(agotnesA12,
 author       = {{\r A}gotnes, Thomas and Natasha Alechina},
 year         = {2012},
 title        = {Epistemic coalition logic: completeness and complexity},
 booktitle    = {International Conference on Autonomous Agents and Multiagent Systems, {AAMAS} 2012, Valencia, Spain, June 4-8, 2012 {(3} Volumes)},
 pages        = {1099--1106},
 url          = {http://dl.acm.org/citation.cfm?id=2343854},
)
@article(agotnes10,
 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},
)
@inproceedings(agotnes08,
 author       = {{\r A}gotnes, Thomas and Hans van Ditmarsch},
 year         = {2008},
 title        = {Coalitions and announcements},
 booktitle    = {7th International Conference on Autonomous Agents and Multiagent Systems {(AAMAS} 2008), Estoril, Portugal, May 12-16, 2008, Volume 2},
 pages        = {673--680},
 doi          = {10.1145/1402298.1402318},
)
@incollection(agotnes14,
 author       = {{\r A}gotnes, Thomas and Hans van Ditmarsch},
 year         = {2014},
 title        = {Knowledge Games and Coalitional Abilities},
 booktitle    = {Johan van Benthem on Logic and Information Dynamics},
 publisher    = {Springer},
 pages        = {451--485},
 doi          = {10.1007/978-3-319-06025-5_16},
)
@article(agotnes16,
 author       = {{\r A}gotnes, Thomas and Hans van Ditmarsch and Timothy Stewart French},
 year         = {2016},
 title        = {The Undecidability of Quantified Announcements},
 journal      = {Studia Logica},
 volume       = {104},
 number       = {4},
 pages        = {597--640},
 doi          = {10.1007/s11225-016-9657-0},
)
@article(balbiani15a,
 author       = {Philippe Balbiani},
 year         = {2015},
 title        = {Putting right the wording and the proof of the Truth Lemma for \emph{APAL}},
 journal      = {Journal of Applied Non-Classical Logics},
 volume       = {25},
 number       = {1},
 pages        = {2--19},
 doi          = {10.1080/11663081.2015.1011489},
)
@article(balbiani08,
 author       = {Philippe Balbiani and Alexandru Baltag and Hans van Ditmarsch and Andreas Herzig and Tomohiro Hoshi and Tiago de Lima},
 year         = {2008},
 title        = {`{K}nowable' as `known after an announcement'},
 journal      = {Review of Symbolic Logic},
 volume       = {1},
 number       = {3},
 pages        = {305--334},
 doi          = {10.1017/S1755020308080210},
)
@inproceedings(balbiani07,
 author       = {Philippe Balbiani and Alexandru Baltag and Hans P. van Ditmarsch and Andreas Herzig and Tomohiro Hoshi and Tiago De Lima},
 year         = {2007},
 title        = {What can we achieve by arbitrary announcements?: {A} dynamic take on Fitch's knowability},
 booktitle    = {Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007},
 pages        = {42--51},
 doi          = {10.1145/1324249.1324259},
)
@article(balbiani15,
 author       = {Philippe Balbiani and Hans van Ditmarsch},
 year         = {2015},
 title        = {A Simple Proof of the Completeness of {APAL}},
 journal      = {Studies in Logic},
 volume       = {8},
 number       = {1},
 pages        = {65--78},
 url          = {http://studiesinlogic.sysu.edu.cn:8080/ljxyj/EN/abstract/abstract211.shtml},
)
@article(bolander11,
 author       = {Thomas Bolander and Mikkel Birkegaard Andersen},
 year         = {2011},
 title        = {Epistemic planning for single and multi-agent systems},
 journal      = {Journal of Applied Non-Classical Logics},
 volume       = {21},
 number       = {1},
 pages        = {9--34},
 doi          = {10.3166/jancl.21.9-34},
)
@inproceedings(vanditmarsch12,
 author       = {Hans van Ditmarsch},
 year         = {2012},
 title        = {Quantifying Notes},
 booktitle    = {Logic, Language, Information and Computation - 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012.Proceedings},
 pages        = {89--109},
 doi          = {10.1007/978-3-642-32621-9_8},
)
@book(del,
 author       = {Hans van Ditmarsch and Wiebe van der Hoek and Barteld Kooi},
 year         = {2008},
 title        = {Dynamic Epistemic Logic},
 series       = {Synthese Library},
 volume       = {337},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4020-5839-4},
)
@book(goldblatt,
 author       = {Robert Goldblatt},
 year         = {1982},
 title        = {Axiomatising the Logic of Computer Programming},
 series       = {Lecture Notes in Computer Science},
 volume       = {130},
 publisher    = {Springer},
 doi          = {10.1007/BFb0022481},
)
@article(pauly02,
 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},
)
@article(plaza07,
 author       = {Jan Plaza},
 year         = {2007},
 title        = {Logics of public communications (reprint of 1989's paper)},
 journal      = {Synthese},
 volume       = {158},
 number       = {2},
 pages        = {165--179},
 doi          = {10.1007/s11229-007-9168-7},
)
@inproceedings(renne09,
 author       = {Bryan Renne and Joshua Sack and Audrey Yap},
 year         = {2009},
 title        = {Dynamic Epistemic Temporal Logic},
 booktitle    = {Logic, Rationality, and Interaction, Second International Workshop, {LORI} 2009, Chongqing, China, October 8-11, 2009. Proceedings},
 pages        = {263--277},
 doi          = {10.1007/978-3-642-04893-7_21},
)