The logic of uncertain justifications

DOI10.1016/j.apal.2013.07.015zbMath1325.03013OpenAlexW2128925482MaRDI QIDQ392291

Robert Saxon Milnikel

Publication date: 13 January 2014

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2013.07.015

zbMATH Keywords

epistemic logicuncertain reasoningjustification logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)

Related Items

Possibilistic Justification Logic ⋮ Probabilistic Justification Logic ⋮ A note on strong axiomatization of Gödel justification logic ⋮ Logic of confidence ⋮ Reasoning About Justified Belief Based on the Fusion of Evidence ⋮ Justification Logics with Probability Operators

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The logic of proofs, semantically
• Propositional games with explicit strategies
• Derivability in certain subsystems of the logic of proofs is \(\Pi_2^p\)-complete
• Logic of proofs
• First-order modal logic
• Justified common knowledge
• Explicit Provability and Constructive Semantics
• The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge
• Update as Evidence: Belief Expansion
• THE LOGIC OF JUSTIFICATION
• Justification Logic and History Based Computation
• The Logic of Proofs as a Foundation for Certifying Mobile Computation
• Logical Omniscience Via Proof Complexity
• Why Do We Need Justification Logic?
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi