Thomas Ågotnes, Philippe Balbiani, Hans van Ditmarsch & Pablo Seban (2010):
Group Announcement Logic.
Journal of Applied Logic 8(1),
pp. 62–81,
doi:10.1016/j.jal.2008.12.002.
A. Baltag, L.S. Moss & S. Solecki (1998):
The Logic of Public Announcements, Common Knowledge, and Private Suspicions.
In: Proc. of TARK VII,
pp. 43–56.
Johan F. A. K. van Benthem (2000):
Information Update as relativisation.
Technical Report.
ILLC, University of Amsterdam.
Johan F. A. K. van Benthem, Jan van Eijck & Barteld Kooi (2006):
Logics of communication and change.
Information and Computation 204(11),
pp. 1620–1662,
doi:10.1016/j.ic.2006.04.006.
Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi (2007):
Dynamic Epistemic Logic.
Synthese Library 337.
Springer Netherlands,
doi:10.1007/978-1-4020-5839-4.
Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Y. Vardi (1995):
Reasoning about Knowledge.
MIT,
doi:10.1023/A:1008224520671.
J. Gerbrandy (1999):
Bisimulations on Planet Kripke.
Ph.D. thesis.
University of Amsterdam.
John-Jules Ch. Meyer & Wiebe van der Hoek (1995):
Epistemic Logic for AI and Computer Science.
Cambridge Tracts in Theoretical Computer Science 41.
Cambridge University Press,
doi:10.1017/CBO9780511569852.
Jan A. Plaza (1989):
Logics of Public Communications.
In: Proceedings of ISMIS,
pp. 201–216.
Floris Roelofsen (2007):
Distributed Knowledge.
Journal of Applied Non-Classical Logics 16(2),
pp. 255–273,
doi:10.3166/jancl.17.255-273.
Johan Van Benthem (2011):
Logical dynamics of information and interaction.
Cambridge University Press,
doi:10.1017/CBO9780511974533.
Wiebe Van Der Hoek, Bernd Van Linder & John-Jules Meyer (1999):
Group knowledge is not always distributed (neither is it always implicit).
Mathematical social sciences 38(2),
pp. 215–240,
doi:10.1016/S0165-4896(99)00013-X.
Yi Wáng & Thomas Ågotnes (2013):
Public announcement logic with distributed knowledge: expressivity, completeness and complexity.
Synthese 190(1),
pp. 135–162,
doi:10.1007/s11229-012-0243-3.
eptcs@eptcs.org