Studia Logica

, Volume 100, Issue 1, pp 17–30

The Ontology of Justifications in the Logical Setting

Article

DOI: 10.1007/s11225-012-9387-x

Cite this article as:
Artemov, S.N. Stud Logica (2012) 100: 17. doi:10.1007/s11225-012-9387-x

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.

Keywords

Justification Logic Kripke models Fitting models 

Copyright information

© Springer Science+Business Media B.V. 2012

Authors and Affiliations

  1. 1.Graduate Center CUNYNew York CityUSA