The Ontology of Justifications in the Logical Setting

Justification Logic provides an axiomatic description of justifications and delegates the question of their nature to semantics. In this note, we address the conceptual issue of the logical type of justifications: we argue that justifications in the logical setting are naturally interpreted as sets of formulas which leads to a class of epistemic models that we call modular models. We show that Fitting models for Justification Logic naturally encode modular models and can be regarded as convenient pre-models of the former.

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

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

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

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

[5]  Robert Saxon Milnikel.  Derivability in certain subsystems of the Logic of Proofs is Pi2p-complete , 2007, Ann. Pure Appl. Log..

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

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

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

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

[10]  Nikolai V. Krupski,et al.  On the complexity of the reflected logic of proofs , 2006, Theor. Comput. Sci..

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

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

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

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

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

[16]  Roman Kuznets,et al.  Making knowledge explicit: How hard it is , 2006, Theor. Comput. Sci..

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

[18]  Melvin Fitting,et al.  A quantified logic of evidence , 2008, Ann. Pure Appl. Log..

[19]  Sergei N. Artëmov.  Logic of Proofs , 1994, Ann. Pure Appl. Log..

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