@inproceedings(arecesetal:2012,
 author       = {C. Areces and R. Fervari and G. Hoffmann},
 year         = {2012},
 title        = {Moving Arrows and Four Model Checking Results},
 booktitle    = {Proc.\ of 19th WoLLIC},
 publisher    = {Springer},
 pages        = {142--153},
 doi          = {10.1007/978-3-642-32621-9_11},
 note         = {LNCS 7456},
)
@article(aucheretal:2009,
 author       = {G. Aucher and P. Balbiani and {Fari{\~n}as del Cerro}, L. and A. Herzig},
 year         = {2009},
 title        = {Global and Local Graph Modifiers},
 journal      = {{ENTCS}},
 volume       = {231},
 pages        = {293--307},
 doi          = {10.1016/j.entcs.2009.02.042},
)
@inproceedings(baltagetal.hpi:2008,
 author       = {A. Baltag and H. van Ditmarsch and L.S. Moss},
 year         = {2008},
 title        = {Epistemic Logic and Information Update},
 booktitle    = {Handbook on the Philosophy of Information},
 publisher    = {Elsevier},
 pages        = {361--456},
 doi          = {10.1016/B978-0-444-51726-5.50015-7},
)
@inproceedings(baltagetal:1998,
 author       = {A. Baltag and L. Moss and S. Solecki},
 year         = {1998},
 title        = {The Logic of Public Announcements, Common Knowledge, and Private Suspicions},
 booktitle    = {Proc.~of 7th TARK},
 publisher    = {Morgan K.},
 pages        = {43--56},
 doi          = {10.1007/978-3-319-20451-2_38},
)
@incollection(jfak.sabotage:2005,
 author       = {J. van Benthem},
 year         = {2005},
 title        = {An Essay on Sabotage and Obstruction},
 booktitle    = {Mechanizing Mathematical Reasoning},
 series       = {LNCS 2605},
 publisher    = {Springer},
 pages        = {268--276},
 doi          = {10.1007/978-3-540-32254-2_16},
)
@book(jfak.book:2011,
 author       = {J. van Benthem},
 year         = {2011},
 title        = {Logical Dynamics of Information and Interaction},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/cbo9780511974533.002},
)
@book(BlackburndRV01,
 author       = {P. Blackburn and M. de Rijke and Y. Venema},
 year         = {2001},
 title        = {Modal Logic},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/cbo9781107050884},
)
@article(BolanderDHLPS16,
 author       = {T. Bolander and H. Ditmarsch and A. Herzig and E. Lorini and P. Pardo and F. Schwarzentruber},
 year         = {2016},
 title        = {Announcements to Attentive Agents},
 journal      = {J. of Logic, Lang. and Inf.},
 volume       = {25},
 number       = {1},
 pages        = {1--35},
 doi          = {10.1007/s10849-015-9234-3},
)
@misc(hvd.thesis:2000,
 author       = {H. van Ditmarsch},
 year         = {2000},
 title        = {Knowledge games},
 note         = {ILLC Dissertation Series DS-2000-06},
)
@book(hvdetal.handbook:2015,
 editor       = {H. van Ditmarsch and J. Halpern and W. van der Hoek and B. Kooi},
 year         = {2015},
 title        = {Handbook of epistemic logic},
 publisher    = {College Publications},
)
@inproceedings(pabe:2004,
 author       = {H. van Ditmarsch and W. van der Hoek and B. Kooi},
 year         = {2004},
 title        = {Public Announcements and Belief Expansion},
 booktitle    = {Advances in Modal Logic 5},
 pages        = {62--73},
)
@book(DitmarschK15,
 author       = {Hans van Ditmarsch and Barteld Kooi},
 year         = {2015},
 title        = {One Hundred Prisoners and a Light Bulb},
 publisher    = {Copernicus},
 doi          = {10.1007/978-3-319-16694-0_9},
)
@book(DitmarschvdHK07,
 author       = {H.P. van Ditmarsch and W. van der Hoek and B.P. Kooi},
 year         = {2007},
 title        = {Dynamic Epistemic Logic},
 series       = {Synthese Library},
 volume       = {337},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4020-5839-4},
)
@book(fhmv:rak,
 author       = {R. Fagin and J.Y. Halpern and Y. Moses and M.Y. Vardi},
 year         = {1995},
 title        = {{Reasoning About Knowledge}},
 publisher    = {The MIT Press},
)
@phdthesis(fervari:2014,
 author       = {R. Fervari},
 year         = {2014},
 title        = {Relation-Changing Modal Logics},
 school       = {Universidad Nacional de C\'ordoba, Argentina},
)
@article(gerbrandyetal:1997,
 author       = {J.D. Gerbrandy and W. Groeneveld},
 year         = {1997},
 title        = {Reasoning about Information Change},
 journal      = {{JoLLI}},
 volume       = {6},
 pages        = {147--169},
 doi          = {10.1023/A:1008222603071},
)
@article(halpernetal:1992,
 author       = {J.Y. Halpern and Y. Moses},
 year         = {1992},
 title        = {A guide to completeness and complexity for modal logics of knowledge and belief},
 journal      = {{J. of AI}},
 volume       = {54},
 pages        = {319--379},
 doi          = {10.1016/0004-3702(92)90049-4},
)
@incollection(hoekpauly:06a,
 author       = {W. van der Hoek and M. Pauly},
 year         = {2006},
 title        = {Modal Logic for Games and Information},
 booktitle    = {The Handbook of Modal Logic},
 publisher    = {Elsevier},
 pages        = {1180--1152},
 doi          = {10.1016/s1570-2464(07)80023-1},
)
@article(kooietal:2011,
 author       = {B. Kooi and B. Renne},
 year         = {2011},
 title        = {Arrow Update Logic},
 journal      = {{R}eview of {S}ymbolic {L}ogic},
 volume       = {4(4)},
 pages        = {536--559},
 doi          = {10.1017/S1755020311000189},
)
@book(HoekM95,
 author       = {J.Ch. Meyer and W. van der Hoek},
 year         = {1995},
 title        = {Epistemic Logic for AI and Computer Science},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511569852},
)
@inproceedings(Plaza89,
 author       = {J.A. Plaza},
 year         = {1989},
 title        = {Logics of Public Communications},
 booktitle    = {Proc.\ of the 4th ISMIS},
 publisher    = {Oak Ridge National Laboratory},
 pages        = {201--216},
 doi          = {10.1007/s11229-007-9168-7},
)
@article(DBLP:journals/jancl/Roelofsen07,
 author       = {F. Roelofsen},
 year         = {2007},
 title        = {Distributed knowledge},
 journal      = {{JANCL}},
 volume       = {17},
 number       = {2},
 pages        = {255--273},
 doi          = {10.3166/jancl.17.255-273},
)
@article(DBLP:journals/synthese/WangA13,
 author       = {Y.N. W{\'{a}}ng and {\r A}gotnes, T.},
 year         = {2013},
 title        = {Public announcement logic with distributed knowledge: expressivity, completeness and complexity},
 journal      = {Synthese},
 volume       = {190},
 pages        = {135--162},
 doi          = {10.1007/s11229-012-0243-3},
)