Before announcement

We axiomatize the mono-agent logic of knowledge with public announcements and converse public announcements. A special variant of our logic is determined by the model of maximal ignorance wherein the agent considers all valuations of atomic

[1]  Lawrence S. Moss,et al.  Logics for Epistemic Programs , 2004, Synthese.

[2]  Andreas Herzig,et al.  ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’ , 2008, The Review of Symbolic Logic.

[3]  Lawrence S. Moss,et al.  Topological Reasoning and the Logic of Knowledge , 1996, Ann. Pure Appl. Log..

[4]  Sophie Pinchinat,et al.  Refinement modal logic , 2012, Inf. Comput..

[5]  Ramaswamy Ramanujam,et al.  A Knowledge Based Semantics of Messages , 2003, J. Log. Lang. Inf..

[6]  Bernhard Heinemann,et al.  Including the Past in 'Topologic' , 2007, LFCS.

[7]  Jan van Eijck,et al.  One Hundred Prisoners and a Lightbulb - Logic and Computation , 2010, KR.

[8]  Tomohiro Hoshi,et al.  Dynamic epistemic logic with branching temporal structures , 2009, Synthese.

[9]  Joshua Sack,et al.  Dynamic Epistemic Temporal Logic , 2009, LORI.

[10]  Audrey Yap.  Dynamic Epistemic Logic and Temporal Modality , 2011 .

[11]  Jelle Gerbrandy,et al.  Dynamic epistemic logic , 1998 .

[12]  Andreas Herzig,et al.  From DEL to EDL : Exploring the Power of Converse Events , 2007, ECSQARU.

[13]  Lawrence S. Moss,et al.  Topology and Epistemic Logic , 2007, Handbook of Spatial Logics.

[14]  W. van der Hoek,et al.  Epistemic logic for AI and computer science , 1995, Cambridge tracts in theoretical computer science.

[15]  Joshua Sack,et al.  Temporal Languages for Epistemic Programs , 2008, J. Log. Lang. Inf..

[16]  Carsten Lutz,et al.  Complexity and succinctness of public announcement logic , 2006, AAMAS '06.

[17]  Rineke Verbrugge,et al.  Sum and Product in Dynamic Epistemic Logic , 2008, J. Log. Comput..

[18]  Yì N. Wáng,et al.  Subset Space Public Announcement Logic , 2013, ICLA.

[19]  Joshua Sack,et al.  Logics of temporal-epistemic actions , 2015, Synthese.

[20]  Jan A. Plaza,et al.  Logics of public communications , 2007, Synthese.