C. Areces
R. Fervari
G. Hoffmann
2012
Moving Arrows and Four Model Checking Results
Proc. of 19th WoLLIC
Springer
142–153
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
293–307
10.1016/j.entcs.2009.02.042
A. Baltag
H. van Ditmarsch
L.S. Moss
2008
Epistemic Logic and Information Update
Handbook on the Philosophy of Information
Elsevier
361–456
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
Proc. of 7th TARK
Morgan K.
43–56
10.1007/978-3-319-20451-2_38
J. van Benthem
2005
An Essay on Sabotage and Obstruction
Mechanizing Mathematical Reasoning
LNCS 2605
Springer
268–276
10.1007/978-3-540-32254-2_16
J. van Benthem
2011
Logical Dynamics of Information and Interaction
Cambridge University Press
10.1017/cbo9780511974533.002
P. Blackburn
M. de Rijke
Y. Venema
2001
Modal Logic
Cambridge University Press
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
1–35
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
Advances in Modal Logic 5
62–73
Hans van Ditmarsch
Barteld Kooi
2015
One Hundred Prisoners and a Light Bulb
Copernicus
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
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
147–169
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
319–379
10.1016/0004-3702(92)90049-4
W. van der Hoek
M. Pauly
2006
Modal Logic for Games and Information
The Handbook of Modal Logic
Elsevier
1180–1152
10.1016/s1570-2464(07)80023-1
B. Kooi
B. Renne
2011
Arrow Update Logic
Review of Symbolic Logic
4(4)
536–559
10.1017/S1755020311000189
J.Ch. Meyer
W. van der Hoek
1995
Epistemic Logic for AI and Computer Science
Cambridge University Press
10.1017/CBO9780511569852
J.A. Plaza
1989
Logics of Public Communications
Proc. of the 4th ISMIS
Oak Ridge National Laboratory
201–216
10.1007/s11229-007-9168-7
F. Roelofsen
2007
Distributed knowledge
JANCL
17
2
255–273
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
135–162
10.1007/s11229-012-0243-3