A new framework for justification logic

Download Edit this record How to cite View on PhilPapers
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 offers an introduction to a basic system LJ of justification logic and to the problems concerning its interpretation. In the second section, three new systems of justification logic are introduced and characterised with respect to an appropriate semantics. The final section shows why the highlighted problems do not afflict the new systems and how it is possible to interpret LJ in the new framework.
Reprint years
PhilPapers/Archive ID
Revision history
Archival date: 2015-12-04
View upload history
References found in this work BETA
Reasoning About Knowledge.Fagin, Ronald; Halpern, Joseph; Moses, Yorav & Vardi, Moshe
Elements of Intuitionism.Dummett, Michael & Minio, Roberto

View all 9 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index

Total views
123 ( #20,689 of 39,604 )

Recent downloads (6 months)
6 ( #36,156 of 39,604 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.