Modal logics, justification logics, and realization

Abstract Justification logics connect with modal logics, replacing unstructured modal operators with justification terms explicitly representing interdependence and flow of reasoning. The number of justification logics quickly grew from an initial single instance to a handful to about a dozen examples. In this paper we provide very general, though partly non-constructive, methods that cover all previous examples, and extend to an infinite family of modal logics. The full range of the phenomenon is not known. The extent to which constructive methods apply is also not known, but it is related to the availability of cut-free proof methods for modal logics.

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

[2]  Melvin Fitting,et al.  Realization using the model existence theorem , 2016, J. Log. Comput..

[3]  D. Scott,et al.  Intensional Logic, preliminary draft of initial chapters by EJ Lemmon, July 1966, Nowadays available as An Introduction to Modal Logic (American Philosophical Quarterly Monograph No. 11) edited by K. Segerberg , 1977 .

[4]  Melvin Fitting,et al.  Justification logics and hybrid logics , 2010, J. Appl. Log..

[5]  Melvin Fitting,et al.  Cut-Free Proof Systems for Geach Logics , 2015, FLAP.

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

[7]  Sara Negri,et al.  Proof Analysis in Modal Logic , 2005, J. Philos. Log..

[8]  Thomas Studer,et al.  Justifications, Ontology, and Conservativity , 2012, Advances in Modal Logic.

[9]  Melvin Fitting.  TR-2013005: Realization Implemented , 2013 .

[10]  Ren-June Wang,et al.  Non-circular proofs and proof realization in modal logic , 2014, Ann. Pure Appl. Log..

[11]  Melvin Fitting.  Possible world semantics for first-order logic of proofs , 2014, Ann. Pure Appl. Log..

[12]  Natalia Rubtsova.  Evidence Reconstruction of Epistemic Modal Logic S5 , 2006, CSR.

[13]  Sergei N. Artëmov.  Justification Logic , 2008, JELIA.

[14]  Brian F. Chellas.  Modal Logic: Normal systems of modal logic , 1980 .

[15]  Melvin Fitting.  Possible World Semantics for First Order LP ∗ , 2011 .

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

[17]  Sergei N. Artëmov.  The Ontology of Justifications in the Logical Setting , 2012, Stud Logica.

[18]  Melvin Fitting.  Realizing Substitution Instances of Modal Theorems , 2007 .

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

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

[21]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

[22]  Sergei N. Artëmov,et al.  On First Order Logic of Proofs , 2001 .

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

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

[25]  S. Wainer,et al.  2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05 , 2006, Bulletin of Symbolic Logic.

[26]  Richard Spencer-Smith,et al.  Modal Logic , 2007 .