Semantic Results for Ontic and Epistemic Change

We present an epistemic logic incorporating dynamic operators to describe information changing events. Such events include epistemic changes, where agents become more informed about the non-changing state of the world, and ontic changes, wherein the world changes. The events are executed in information states that are modelled as pointed Kripke models. Our contribution consists of three semantic results. (i) Every consistent formula can be made true in every information state by the execution of an event. (ii) Every event corresponds to an event with assignments to true and false only. (iii) Every event corresponds to a sequence of events with assignments of a single atom only. We apply the logic to model dynamics in a multi-agent setting involving card players.

[1]  Ron van der Meyden,et al.  Constructing Finite State Implementations of Knowledge-Based Programs with Perfect Recall , 1996, PRICAI Workshop on Intelligent Agent Systems.

[2]  J.F.A.K. van Benthem,et al.  Dynamics odds and ends , 1998 .

[3]  Barteld P. Kooi,et al.  Expressivity and completeness for public update logics via reduction axioms , 2007, J. Appl. Non Class. Logics.

[4]  Jan van Eijck,et al.  Dynamic epistemic modelling , 2004 .

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

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

[7]  Hans van Ditmarsch,et al.  Descriptions of Game Actions , 2002, J. Log. Lang. Inf..

[8]  Hans van Ditmarsch,et al.  Some Game Theory of Pit , 2004, PRICAI.

[9]  Andreas Herzig,et al.  Epistemic Actions and Ontic Actions: A Unified Logical Framework , 2006, IBERAMIA-SBIA.

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

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

[12]  J. Benthem.  One is a Lonely Number: on the logic of communication , 2003 .

[13]  Hirofumi Katsuno,et al.  On the Difference between Updating a Knowledge Base and Revising It , 1991, KR.

[14]  Jan van Eijck,et al.  Logics of communication and change , 2006, Inf. Comput..

[15]  Lawrence S. Moss,et al.  Vicious circles - on the mathematics of non-wellfounded phenomena , 1996, CSLI lecture notes series.

[16]  100 PRISONERS AND A LIGHT BULB , 2009 .

[17]  Alexandru Baltag,et al.  A Logic for Suspicious Players: Epistemic Actions and Belief-Updates in Games , 2000 .

[18]  Michael J. Fischer,et al.  Bounds on secret key exchange using a random deal of cards , 2004, Journal of Cryptology.

[19]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[20]  Hans van Ditmarsch.  Belief change and dynamic logic , 2005, Belief Change in Rational Agents.

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

[22]  Hans van Ditmarsch,et al.  The Logic of Pit , 2006, Synthese.

[23]  Johan van Benthem,et al.  Semantic Parallels in Natural Language and Computation , 1989 .

[24]  Wiebe van der Hoek,et al.  Dynamic epistemic logic with assignment , 2005, AAMAS '05.

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

[26]  Anton Stiglic.  Computations with a deck of cards , 2001, Theor. Comput. Sci..

[27]  Johan van Benthem,et al.  Merging frameworks for interaction: DEL and ETL , 2007, TARK '07.

[28]  Jerzy Tiuryn,et al.  Dynamic logic , 2001, SIGA.

[29]  Andreas Herzig,et al.  Action progression and revision in multiagent belief structures , 2004 .

[30]  A. Baltag,et al.  EPISTEMIC LOGIC AND INFORMATION UPDATE , 2008 .

[31]  Noël Laverny.  Révision, mise à jour et planification en logique doxastique graduelle , 2006 .