ARROW UPDATE LOGIC

We present Arrow Update Logic, a theory of epistemic access elimination that can be used to reason about multi-agent belief change. While the belief-changing "arrow updates" of Arrow Update Logic can be transformed into equivalent belief-changing "action models" from the popular Dynamic Epistemic Logic approach, we prove that arrow updates are sometimes exponentially more succinct than action models. Further, since many examples of belief change are naturally thought of from Arrow Update Logic's perspective of eliminating access to epistemic possibilities, Arrow Update Logic is a valuable addition to the repertoire of logics of information change. In addition to proving basic results about Arrow Update Logic, we introduce a new notion of common knowledge that generalizes both ordinary common knowledge and the "relativized" common knowledge familiar from the Dynamic Epistemic Logic literature.

[1]  Anne S. Troelstra.  Changing Modalities , 2000 .

[2]  J. Benthem,et al.  Logics of communication and change , 2006 .

[3]  Richard Spencer-Smith,et al.  Modal Logic , 2007 .

[4]  Alexandru Baltag,et al.  A qualitative theory of dynamic interactive belief revision , 2008 .

[5]  Jelle Gerbrandy,et al.  The Surprise Examination in Dynamic Epistemic Logic , 2007, Synthese.

[6]  Dimitar P. Guelev.  A Complete Proof System for First-order Interval Temporal Logic with Projection , 2004, J. Log. Comput..

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

[8]  Michael Clark,et al.  Paradoxes from A to Z , 2002 .

[9]  Dieter Hutter,et al.  Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday , 2005, Mechanizing Mathematical Reasoning.

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

[11]  H. V. Ditmarsch.  The semantics of actions in knowledge games , 1999 .

[12]  Jelle Gerbrandy,et al.  Reasoning about Information Change , 1997, J. Log. Lang. Inf..

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

[14]  Johan van Benthem,et al.  Reduction axioms for epistemic actions , 2004 .

[15]  Gerard R. Renardel de Lavalette,et al.  Changing Modalities , 2004, J. Log. Comput..

[16]  Johan van Benthem,et al.  Dynamic logic for belief revision , 2007, J. Appl. Non Class. Logics.

[17]  Luis Fariñas del Cerro,et al.  Global and Local Graph Modifiers , 2009, M4M.

[18]  Barteld P. Kooi,et al.  Generalized arrow update logic , 2011, TARK XIII.

[19]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[20]  Johan van Benthem,et al.  An Essay on Sabotage and Obstruction , 2005, Mechanizing Mathematical Reasoning.

[21]  J. Gerbrandy.  Bisimulations on Planet Kripke , 1999 .

[22]  Bryan Renne,et al.  Public and private communication are different: results on relative expressivity , 2008, Synthese.

[23]  Lawrence S. Moss,et al.  The Logic of Public Announcements and Common Knowledge and Private Suspicions , 1998, TARK.

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

[25]  David Steiner,et al.  A system for consistency preserving belief change , 2006 .

[26]  Yanjing Wang,et al.  On the Logic of Lying , 2012, Games, Actions and Social Software.

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