Decidability for some justification logics with negative introspection

Justification logics are modal logics that include justifications for the agent's knowledge. So far, there are no decidability results available for justification logics with negative introspection. In this paper, we develop a novel model construction for such logics and show that justification logics with negative introspection are decidable for finite constant specifications.

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

[2]  Alexey Mkrtychev,et al.  Models for the Logic of Proofs , 1997, LFCS.

[3]  Wayne Richter,et al.  Inductive Definitions and Reflecting Properties of Admissible Ordinals , 1974 .

[4]  Natalia Rubtsova.  On Realization of S5-modality by Evidence Terms , 2006, J. Log. Comput..

[5]  Roman Kuznets.  ON DECIDABILITY OF THE LOGIC OF PROOFS WITH ARBITRARY CONSTANT SPECIFICATIONS , 2001 .

[6]  Tatiana Yavorskaya,et al.  Logic of proofs and provability , 2001, Ann. Pure Appl. Log..

[7]  Vladimir Krupski,et al.  The single-conclusion proof logic and inference rules specification , 2001, Ann. Pure Appl. Log..

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

[9]  Sergei N. Artemovy.  Operational Modal Logic , 1995 .

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

[11]  Tatiana Yavorskaya.  Provability Logic with Operations on Proofs , 1997, LFCS.

[12]  Thomas Studer,et al.  Extending the system T0 of explicit mathematics: the limit and Mahlo axioms , 2002, Ann. Pure Appl. Log..

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

[14]  Vladimir Krupski,et al.  Referential logic of proofs , 2006, Theor. Comput. Sci..

[15]  Vladimir Krupski,et al.  Reference Constructions in the Single-conclusion Proof Logic , 2006, J. Log. Comput..

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

[17]  Peter G. Hinman,et al.  Generalized recursion theory : proceedings of the 1972 Oslo symposium , 1974 .

[18]  E. Pacuit.  A Note on Some Explicit Modal Logics , 2005 .

[19]  Sergei N. Artëmov,et al.  Complexity issues in justification logic , 2008 .

[20]  Roman Kuznets.  On the Complexity of Explicit Modal Logics , 2000, CSL.

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

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

[23]  Sergei N. Artëmov,et al.  Logic of knowledge with justifications from the provability perspective. , 2004 .

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

[25]  Yevgeny Kazakov,et al.  On logic of knowledge with justifications , 1999 .

[26]  Heinrich Wansing,et al.  Advances in Modal Logic , 2002 .

[27]  Vladimir Krupski,et al.  Operational Logic of Proofs with Functionality Condition on Proof Predicate , 1997, LFCS.