The Ontology of Justifications in the Logical Setting
- 210 Downloads
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.
KeywordsJustification Logic Kripke models Fitting models
Unable to display preview. Download preview PDF.
- 1.Artemov, S., Operational modal logic. Technical Report MSI 95–29, Cornell University, 1995.Google Scholar
- 12.Kuznets, R., Complexity issues in Justification Logic. Ph.D. thesis, CUNY Graduate Center, 2008.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.Google Scholar
- 15.Pacuit, E., A note on some explicit modal logics. Technical Report PP-2006-29, University of Amsterdam. ILLC Publications, 2006.Google Scholar
- 16.Renne, B., Dynamic Epistemic Logic with Justification Ph.D. thesis, CUNY Graduate Center, 2008.Google Scholar