Affiliation:
1. Academia Sinica, Taipei, Taiwan
2. National Penghu University of Science and Technology, Penghu, Taiwan
Abstract
Justification logic originated from the study of the logic of proofs. However, in a more general setting, it may be regarded as a kind of explicit epistemic logic. In such logic, the reasons a fact is believed are explicitly represented as justification terms. Traditionally, the modeling of uncertain beliefs is crucially important for epistemic reasoning. Graded modal logics interpreted with possibility theory semantics have been successfully applied to the representation and reasoning of uncertain beliefs; however, they cannot keep track of the reasons an agent believes a fact. This article is aimed at extending the graded modal logics with explicit justifications. We introduce a possibilistic justification logic, present its syntax and semantics, and investigate its metaproperties, such as soundness, completeness, and realizability.
Funder
Ministry of Science and Technology of Taiwan
Publisher
Association for Computing Machinery (ACM)
Subject
Computational Mathematics,Logic,General Computer Science,Theoretical Computer Science
Reference34 articles.
1. Explicit Provability and Constructive Semantics
2. THE LOGIC OF JUSTIFICATION
3. The Ontology of Justifications in the Logical Setting
4. S. N. Artëmov and M. Fitting. 2012. Justification logic. In The Stanford Encyclopedia of Philosophy (Fall 2012 ed.) E. N. Zalta (ed.). Stanford University Stanford CA. https://plato.stanford.edu/archives/fall2012/entries/logic-justification/. S. N. Artëmov and M. Fitting. 2012. Justification logic. In The Stanford Encyclopedia of Philosophy (Fall 2012 ed.) E. N. Zalta (ed.). Stanford University Stanford CA. https://plato.stanford.edu/archives/fall2012/entries/logic-justification/.
5. Introducing Justification into Epistemic Logic
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献