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.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Artemov, S., Operational modal logic. Technical Report MSI 95–29, Cornell University, 1995.
Artemov S.: ‘Explicit provability and constructive semantics’. The Bulletin of Symbolic Logic 7(1), 1–36 (2001)
Artemov S.: ‘Justified common knowledge’. Theoretical Computer Science 357(1-3), 4–22 (2006)
Artemov S.: ‘The logic of justification’. The Review of Symbolic Logic 1(4), 477–513 (2008)
Artemov S., Nogina E.: ‘Introducing justification into epistemic logic’. Journal of Logic and Computation 15(6), 1059–1073 (2005)
Brezhnev V., Kuznets R.: ‘Making knowledge explicit: How hard it is’. Theoretical Computer Science 357(1–3), 23–34 (2006)
Dean W., Kurokawa H.: ‘From the Knowability Paradox to the existence of proofs’. Synthese 176(2), 177–225 (2010)
Fitting M.: ‘The logic of proofs, semantically’. Annals of Pure and Applied Logic 132(1), 1–25 (2005)
Fitting M.: ‘A quantified logic of evidence’. Annals of Pure and Applied Logic 152(1-3), 67–83 (2008)
Fitting M.: ‘Realizations and LP’. Annals of Pure and Applied Logic 161(3), 368–387 (2009)
Krupski N.V.: ‘On the complexity of the reflected logic of proofs’. Theoretical Computer Science 357(1-3), 136–142 (2006)
Kuznets, R., Complexity issues in Justification Logic. Ph.D. thesis, CUNY Graduate Center, 2008.
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)
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.
Pacuit, E., A note on some explicit modal logics. Technical Report PP-2006-29, University of Amsterdam. ILLC Publications, 2006.
Renne, B., Dynamic Epistemic Logic with Justification Ph.D. thesis, CUNY Graduate Center, 2008.
Rubtsova N.: ‘On realization of S5-modality by evidence terms’. Journal of Logic and Computation 16(5), 671–684 (2006)
Yavorskaya (Sidon) T.: ‘Interacting Explicit Evidence Systems’. Theory of Computing Systems 43(2), 272–293 (2008)
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to the memory of Leo Esakia
Rights 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
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-012-9387-x