Partial Realization in Dynamic Justification Logic

Justification logic is an epistemic framework that provides a way to express explicit justifications for the agent's belief. In this paper, we present OPAL, a dynamic justification logic that includes term operators to reflect public announcements on the level of justifications. We create dynamic epistemic semantics for OPAL. We also elaborate on the relationship of dynamic justification logics to Gerbrandy-Groeneveld's PAL by providing a partial realization theorem.

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

[2]  Sergei N. Artëmov,et al.  Logical omniscience as a computational complexity problem , 2009, TARK '09.

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

[4]  Melvin Fitting.  The Realization Theorem for S5 A Simple, Constructive Proof , 2011 .

[5]  Melvin Fitting.  Realizations and LP , 2007, LFCS.

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

[7]  Thomas Studer,et al.  Justifications for common knowledge , 2010, J. Appl. Non Class. Logics.

[8]  Joshua Sack,et al.  Justified belief change , 2010 .

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

[10]  Roman Kuznets,et al.  A Syntactic Realization Theorem for Justification Logics , 2010, Advances in Modal Logic.

[11]  Wiebe van der Hoek,et al.  Dynamic Epistemic Logic and Knowledge Puzzles , 2007, ICCS.

[12]  Bernd Finkbeiner,et al.  Fields of Logic and Computation , 2011 .

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

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

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

[16]  Sergei N. Artëmov.  Tracking Evidence , 2010, Fields of Logic and Computation.

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

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

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

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