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