The ontology of justifications in the logical setting
type: Item
instance of: scholarly article
title: The ontology of justifications in the logical setting
zbMATH Open document ID: 1255.03027
published in: Studia Logica
publication date: 2012-10-01T00:00:00Z
review text: The author deals with the question of the nature of justifications, within the context of justification logic. He notes that justifications could be interpreted as sets of formulas fulfilling certain conditions and he then characterizes a semantics in which justifications are given such an interpretation. He refers to the models of the semantics as ``modular models''. It is shown that the basic system of justification logic JCS is sound and complete with respect to the modular models semantics. The author next considers possible-worlds semantic models for justification logic. For this sort of semantics, he formulates semantical conditions that would connect justifications to the epistemic structure of the knowledge/belief semantics and characterizes a possible-worlds semantics whose models are modular, that is, they interpret justifications in a way similar to that one of the modular models. Soundness and completeness are also shown for this semantics with respect to the system JCS. The language of justification logic together with the necessity operator is also considered in the paper, and a formal system for justification logic in such a language is formulated as well. The author shows this system to be sound and complete with respect to the same modular possible-worlds semantics. Finally, connections between this modular semantics and Fitting semantics for justification logic (in terms of the notion of admissible evidence) are indicated. The author shows, on the one hand, that the set of modular models is a subclass of the set of models of Fitting semantics. On the other hand, he shows conversely that each Fitting model can be converted into a modular model. Conceptual advantages of modular semantics over Fitting semantics are also discussed.
Mathematics Subject Classification ID: 03B42
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 6088845
zbMATH Keywords: logical nature of justification
zbMATH Keywords: semantics
zbMATH Keywords: justification logic
zbMATH Keywords: Fitting models
author: Sergei Artemov
MaRDI profile type: Publication
full work available at URL: s11225-012-9387-x
OpenAlex ID: W2050519161
cites work: Explicit provability and constructive semantics
cites work: Justified common knowledge
cites work: THE LOGIC OF JUSTIFICATION
cites work: Introducing Justification into Epistemic Logic
cites work: Making knowledge explicit: how hard it is
cites work: From the knowability paradox to the existence of proofs
cites work: The logic of proofs, semantically
cites work: A quantified logic of evidence
cites work: Realizations and LP
cites work: On the complexity of the reflected logic of proofs
cites work: Derivability in certain subsystems of the logic of proofs is \(\Pi_2^p\)-complete
cites work: Q4376067
cites work: Modal Logics of Negotiation and Preference
cites work: On Realization of -modality by Evidence Terms
cites work: Interacting explicit evidence systems
DOI: 10.1007/S11225-012-9387-X
description: scientific article; zbMATH DE number 6088845