A New Framework for Justification Logic

The logic of justification provides an in-depth analysis of the epistemic states of an agent. This paper aims at solving some of the problems to which the common interpretation of the operators of justification logic is subject, by providing a framework in which a crucial distinction between potential and explicit justifiers is exploited. The paper is subdivided into three sections. The first section o ffers an introduction to a basic system LJ of justi fication logic and to the problems concerning its interpretation. In the second section, three new systems of justification logic are introduced and characterized with respect to an appropriate semantics. The final section shows why the highlighted problems do not a ffect the new systems and how it is possible to interpret LJ in the new framework.