The ontology of justifications in the logical setting

DOI10.1007/S11225-012-9387-XzbMath1255.03027OpenAlexW2050519161MaRDI QIDQ454364

Sergej N. Artemov

Publication date: 1 October 2012

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-012-9387-x

zbMATH Keywords

semanticsjustification logicFitting modelslogical nature of justification

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42)

Related Items (21)

Possibilistic Justification Logic ⋮ J-Calc: a typed lambda calculus for intuitionistic justification logic ⋮ False beliefs in unreliable knowledge networks ⋮ Probabilistic Justification Logic ⋮ Modal logics, justification logics, and realization ⋮ Explicit Generic Common Knowledge ⋮ Update as Evidence: Belief Expansion ⋮ Justifications, Awareness and Epistemic Dynamics ⋮ Communication policies in knowledge networks ⋮ Explicit non-normal modal logic ⋮ A logic of interactive proofs ⋮ Labeled sequent calculus for justification logics ⋮ Prehistoric graph in modal derivations and self-referentiality ⋮ The logic of justified belief, explicit knowledge, and conclusive evidence ⋮ On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs ⋮ Conditional obligations in justification logic ⋮ Justification logic with confidence ⋮ Providing personalized explanations: a conversational approach ⋮ On non-self-referential fragments of modal logics ⋮ Reasoning About Justified Belief Based on the Fusion of Evidence ⋮ Justification Logics with Probability Operators

Cites Work

• Unnamed Item
• From the knowability paradox to the existence of proofs
• Realizations and LP
• The logic of proofs, semantically
• Derivability in certain subsystems of the logic of proofs is \(\Pi_2^p\)-complete
• Interacting explicit evidence systems
• A quantified logic of evidence
• Justified common knowledge
• Making knowledge explicit: how hard it is
• On the complexity of the reflected logic of proofs
• Explicit Provability and Constructive Semantics
• Introducing Justification into Epistemic Logic
• On Realization of -modality by Evidence Terms
• Modal Logics of Negotiation and Preference
• THE LOGIC OF JUSTIFICATION

This page was built for publication: The ontology of justifications in the logical setting