Moving Arrows and Four Model Checking Results

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