@article(jal, 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(baltag98logic, author = {A. Baltag and L.S. Moss and S. Solecki}, year = {1998}, title = {The Logic of Public Announcements, Common Knowledge, and Private Suspicions}, booktitle = {Proc. of {TARK VII}}, pages = {43--56}, ) @techreport(vb1999relativization, author = {Johan F. A. K. van Benthem}, year = {2000}, title = {Information Update as relativisation}, type = {Technical Report}, institution = {ILLC, University of Amsterdam}, ) @article(vb06logics, author = {Johan F. A. K. van Benthem and Jan van Eijck and Barteld Kooi}, year = {2006}, title = {Logics of communication and change}, journal = {Information and Computation}, volume = {204}, number = {11}, pages = {1620--1662}, doi = {10.1016/j.ic.2006.04.006}, ) @book(vanDitmarsch07del, author = {Hans van Ditmarsch and Wiebe van der Hoek and Barteld Kooi}, year = {2007}, title = {Dynamic Epistemic Logic}, series = {Synthese Library}, volume = {337}, publisher = {Springer Netherlands}, doi = {10.1007/978-1-4020-5839-4}, ) @book(fhmv95rk, author = {Ronald Fagin and Joseph Y. Halpern and Yoram Moses and Moshe Y. Vardi}, year = {1995}, title = {Reasoning about Knowledge}, publisher = {MIT}, doi = {10.1023/A:1008224520671}, ) @phdthesis(gerbrandy:1999, author = {J. Gerbrandy}, year = {1999}, title = {Bisimulations on {P}lanet {K}ripke}, type = {Ph.{D}. thesis}, school = {University of Amsterdam}, ) @book(meyer1995elai, 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}, volume = {41}, publisher = {Cambridge University Press}, doi = {10.1017/CBO9780511569852}, ) @inproceedings(plaza1989logics, author = {Jan A. Plaza}, year = {1989}, title = {Logics of Public Communications}, booktitle = {Proceedings of ISMIS}, pages = {201--216}, ) @article(roelofsen06dk, author = {Floris Roelofsen}, year = {2007}, title = {Distributed Knowledge}, journal = {Journal of Applied Non-Classical Logics}, volume = {16}, number = {2}, pages = {255--273}, doi = {10.3166/jancl.17.255-273}, ) @book(van2011logical, author = {Van Benthem, Johan}, year = {2011}, title = {Logical dynamics of information and interaction}, publisher = {Cambridge University Press}, doi = {10.1017/CBO9780511974533}, ) @article(van1999group, author = {Van Der Hoek, Wiebe and Van Linder, Bernd and John-Jules Meyer}, year = {1999}, title = {Group knowledge is not always distributed (neither is it always implicit)}, journal = {Mathematical social sciences}, volume = {38}, number = {2}, pages = {215--240}, doi = {10.1016/S0165-4896(99)00013-X}, ) @article(WA2013pacd, author = {Yi W\'ang and {\r A}gotnes, Thomas}, year = {2013}, title = {Public announcement logic with distributed knowledge: expressivity, completeness and complexity}, journal = {Synthese}, volume = {190}, number = {1}, pages = {135--162}, doi = {10.1007/s11229-012-0243-3}, )