Skip to main content
Log in

The Ontology of Justifications in the Logical Setting

Studia Logica Aims and scope Submit manuscript

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. Artemov, S., Operational modal logic. Technical Report MSI 95–29, Cornell University, 1995.

  2. Artemov S.: ‘Explicit provability and constructive semantics’. The Bulletin of Symbolic Logic 7(1), 1–36 (2001)

    Article  Google Scholar 

  3. Artemov S.: ‘Justified common knowledge’. Theoretical Computer Science 357(1-3), 4–22 (2006)

    Article  Google Scholar 

  4. Artemov S.: ‘The logic of justification’. The Review of Symbolic Logic 1(4), 477–513 (2008)

    Article  Google Scholar 

  5. Artemov S., Nogina E.: ‘Introducing justification into epistemic logic’. Journal of Logic and Computation 15(6), 1059–1073 (2005)

    Article  Google Scholar 

  6. Brezhnev V., Kuznets R.: ‘Making knowledge explicit: How hard it is’. Theoretical Computer Science 357(1–3), 23–34 (2006)

    Article  Google Scholar 

  7. Dean W., Kurokawa H.: ‘From the Knowability Paradox to the existence of proofs’. Synthese 176(2), 177–225 (2010)

    Article  Google Scholar 

  8. Fitting M.: ‘The logic of proofs, semantically’. Annals of Pure and Applied Logic 132(1), 1–25 (2005)

    Article  Google Scholar 

  9. Fitting M.: ‘A quantified logic of evidence’. Annals of Pure and Applied Logic 152(1-3), 67–83 (2008)

    Article  Google Scholar 

  10. Fitting M.: ‘Realizations and LP’. Annals of Pure and Applied Logic 161(3), 368–387 (2009)

    Article  Google Scholar 

  11. Krupski N.V.: ‘On the complexity of the reflected logic of proofs’. Theoretical Computer Science 357(1-3), 136–142 (2006)

    Article  Google Scholar 

  12. Kuznets, R., Complexity issues in Justification Logic. Ph.D. thesis, CUNY Graduate Center, 2008.

  13. Milnikel R.: ‘Derivability in certain subsystems of the Logic of Proofs is \({\Pi_{2}^{p}}\) -complete’. Annals of Pure and Applies Logic 145(3), 223–239 (2007)

    Article  Google Scholar 

  14. Mkrtychev, A., ‘Models for the Logic of Proofs’. In S. Adian and A. Nerode (eds.), Logical Foundations of Computer Science, 4th International Symposium, LFCS’97, Yaroslavl, Russia, July 6–12, 1997, Proceedings, volume 1234 of Lecture Notes in Computer Science. Springer, 1997, pp. 266–275.

  15. Pacuit, E., A note on some explicit modal logics. Technical Report PP-2006-29, University of Amsterdam. ILLC Publications, 2006.

  16. Renne, B., Dynamic Epistemic Logic with Justification Ph.D. thesis, CUNY Graduate Center, 2008.

  17. Rubtsova N.: ‘On realization of S5-modality by evidence terms’. Journal of Logic and Computation 16(5), 671–684 (2006)

    Article  Google Scholar 

  18. Yavorskaya (Sidon) T.: ‘Interacting Explicit Evidence Systems’. Theory of Computing Systems 43(2), 272–293 (2008)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Sergei N. Artemov.

Additional information

Dedicated to the memory of Leo Esakia

Rights and permissions

Reprints and permissions

About this article

Cite this article

Artemov, S.N. The Ontology of Justifications in the Logical Setting. Stud Logica 100, 17–30 (2012). https://doi.org/10.1007/s11225-012-9387-x

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-012-9387-x

Keywords

Navigation