The ontology of justifications in the logical setting
From MaRDI portal
Publication:454364
DOI10.1007/S11225-012-9387-XzbMath1255.03027OpenAlexW2050519161MaRDI QIDQ454364
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
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