@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},
 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},
 editor       = {Lin Padgham and David C. Parkes and J{\"{o}}rg P. M{\"{u}}ller and Simon Parsons},
 booktitle    = {Proceedings of the 7th {AAMAS}},
 publisher    = {{IFAAMAS}},
 pages        = {673--680},
)
@article(agotnes16,
 author       = {{\r A}gotnes, Thomas and Hans van Ditmarsch and Tim 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(balbiani08,
 author       = {Philippe Balbiani and Alexandru Baltag and Hans van Ditmarsch and Andreas Herzig and Tomohiro Hoshi and Tiago de Lima},
 year         = {2008},
 title        = {{`Knowable'} as {`known} after an announcement'},
 journal      = {Review of Symbolic Logic},
 volume       = {1},
 number       = {3},
 pages        = {305--334},
 doi          = {10.1017/S1755020308080210},
)
@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},
)
@article(vanditmarsch20,
 author       = {Hans van Ditmarsch},
 year         = {2020},
 title        = {Quantifying Notes Revisited},
 journal      = {CoRR},
 volume       = {abs/2004.05802},
)
@article(bapal,
 author       = {Hans van Ditmarsch and Tim French},
 year         = {2020},
 title        = {Quantifying over Boolean announcements},
 journal      = {CoRR},
 volume       = {abs/1712.05310},
)
@article(vanditmarsch20a,
 author       = {Hans van Ditmarsch and Tim French and James Hales},
 year         = {2020},
 title        = {Positive Announcements},
 journal      = {Studia Logica},
 doi          = {10.1007/s11225-020-09922-1},
)
@article(gabbay71a,
 author       = {Dov M. Gabbay},
 year         = {1971},
 title        = {On decidable, finitely axiomatizable, modal and tense logics without the finite model property. {Part I}},
 journal      = {Israel Journal of Mathematics},
 volume       = {10},
 pages        = {478--495},
 doi          = {10.1007/BF02771736},
)
@article(gabbay71b,
 author       = {Dov M. Gabbay},
 year         = {1971},
 title        = {On decidable, finitely axiomatizable, modal and tense logics without the finite model property. {Part II}},
 journal      = {Israel Journal of Mathematics},
 volume       = {10},
 pages        = {496--503},
 doi          = {10.1007/BF02771737},
)
@article(gabbay98,
 author       = {Dov M. Gabbay and Valentin B. Shehtman},
 year         = {1998},
 title        = {Products of Modal Logics, Part 1},
 journal      = {Logic Journal of the {IGPL}},
 volume       = {6},
 number       = {1},
 pages        = {73--146},
 doi          = {10.1093/jigpal/6.1.73},
)
@phdthesis(thesis,
 author       = {Rustam Galimullin},
 year         = {2019},
 title        = {Coalition Announcements},
 school       = {University of Nottingham},
)
@article(galimullin21,
 author       = {Rustam Galimullin},
 year         = {2021},
 title        = {Coalition and Relativised Group Announcement Logic},
 journal      = {Journal of Logic, Language and Information},
 doi          = {10.1007/s10849-020-09327-2},
)
@incollection(goranko07,
 author       = {Valentin Goranko and Martin Otto},
 year         = {2007},
 title        = {Model Theory of Modal Logic},
 editor       = {Patrick Blackburn and Johan van Benthem and Frank Wolter},
 booktitle    = {Handbook of Modal Logic},
 series       = {Studies in Logic and Practical Reasoning},
 volume       = {3},
 publisher    = {Elsevier},
 pages        = {249--329},
 doi          = {10.1016/S1570-2464(07)80008-5},
)
@article(hirsch02,
 author       = {Robin Hirsch and Ian M. Hodkinson and {\'{A}}gnes Kurucz},
 year         = {2002},
 title        = {On Modal Logics Between {K} x {K} x {K} and {S5} x {S5} x {S5}},
 journal      = {Journal of Symbolic Logic},
 volume       = {67},
 number       = {1},
 pages        = {221--234},
 doi          = {10.2178/jsl/1190150040},
)
@article(kracht91,
 author       = {Marcus Kracht},
 year         = {1991},
 title        = {A solution to a problem of {Urquhart}},
 journal      = {Journal of Philosophical Logic},
 volume       = {20},
 number       = {3},
 pages        = {285--286},
 doi          = {10.1007/BF00250541},
)
@article(kurucz00,
 author       = {{\'{A}}gnes Kurucz},
 year         = {2000},
 title        = {On Axiomatising Products of Kripke Frames},
 journal      = {Journal of Symbolic Logic},
 volume       = {65},
 number       = {2},
 pages        = {923--945},
 doi          = {10.2307/2586578},
)
@book(meyer95,
 author       = {John-Jules Ch. Meyer and Wiebe van der Hoek},
 year         = {1995},
 title        = {Epistemic Logic for AI and Computer Science},
 series       = {Cambridge Tracts in Theoretical Computer Science},
 publisher    = {CUP},
 doi          = {10.1017/cbo9780511569852},
)
@article(ognjanovic06,
 author       = {Zoran Ognjanovi{\'c}},
 year         = {2006},
 title        = {Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity},
 journal      = {Journal of Logic and Computation},
 volume       = {16},
 number       = {2},
 pages        = {257--285},
 doi          = {10.1093/logcom/exi077},
)
@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},
 journal      = {Synthese},
 volume       = {158},
 number       = {2},
 pages        = {165--179},
 doi          = {10.1007/s11229-007-9168-7},
)
@article(urquhart81,
 author       = {Alasdair Urquhart},
 year         = {1981},
 title        = {Decidability and the finite model property},
 journal      = {Journal of Philosophical Logic},
 volume       = {10},
 number       = {3},
 pages        = {367--370},
 doi          = {10.1007/BF00293428},
)