Justified belief change

Justification Logic is a framework for reasoning about evidence and justification. Public Announcement Logic is a framework for reasoning about belief changes caused by public announcements. This paper develops JPAL, a dynamic justification logic of public announcements that corresponds to the modal theory of public announcements due to Gerbrandy and Groeneveld. JPAL allows us to reason about evidence brought about by and changed by Gerbrandy--Groeneveld-style public announcements.

[1]  Sergei N. Artëmov.  Explicit provability and constructive semantics , 2001, Bull. Symb. Log..

[2]  Tatiana Yavorskaya,et al.  Interacting Explicit Evidence Systems , 2008, Theory of Computing Systems.

[3]  Sergei N. Artëmov.  THE LOGIC OF JUSTIFICATION , 2008, The Review of Symbolic Logic.

[4]  Joshua Sack,et al.  Logic for update products and steps into the past , 2010, Ann. Pure Appl. Log..

[5]  S. Shelah,et al.  Annals of Pure and Applied Logic , 1991 .

[6]  Melvin Fitting,et al.  The logic of proofs, semantically , 2005, Ann. Pure Appl. Log..

[7]  Melvin Fitting.  Realizations and LP , 2009, Ann. Pure Appl. Log..

[8]  Melvin Fitting,et al.  Reasoning with Justifications , 2009, Towards Mathematical Philosophy.

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

[10]  Bryan Renne,et al.  Public communication in justification logic , 2011, J. Log. Comput..

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

[12]  Thomas Studer,et al.  Explicit Evidence Systems with Common Knowledge , 2010, ArXiv.

[13]  Jeremy Avigad.  Review: Sergei N. Artemov, Explicit Provability and Constructive Semantics , 2002, Bulletin of Symbolic Logic.

[14]  Sergei N. Artëmov.  Justified common knowledge , 2006, Theor. Comput. Sci..

[15]  Hans van Ditmarsch,et al.  The Secret of My Success , 2005, Synthese.

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

[17]  W. Hoek,et al.  Dynamic Epistemic Logic , 2007 .

[18]  Bryan Renne,et al.  Evidence elimination in multi-agent justification logic , 2009, TARK '09.

[19]  Sergei N. Artëmov,et al.  Introducing Justification into Epistemic Logic , 2005, J. Log. Comput..

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

[21]  Sergei N. Artëmov,et al.  Dynamic epistemic logic with justification , 2008 .

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

[23]  H. Kurokawa,et al.  From the Knowability Paradox to the existence of proofs , 2010, Synthese.