The logic of uncertain justifications

DOI10.1016/J.APAL.2013.07.015MaRDI QIDQ392291zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• The logic of uncertain justifications
• Justification logic with confidence
• Logics of proofs and justifications
• Pavelka-style fuzzy justification logics
• Possibilistic justification logic: reasoning about justified uncertain beliefs

Cites work

• scientific article; zbMATH DE number 1670490 (Why is no real title available?)
• scientific article; zbMATH DE number 1114348 (Why is no real title available?)
• scientific article; zbMATH DE number 2046116 (Why is no real title available?)
• Derivability in certain subsystems of the logic of proofs is \(\Pi_2^p\)-complete
• Explicit provability and constructive semantics
• First-order modal logic
• Justification logic and history based computation
• Justification logic, inference tracking, and data privacy
• Justified common knowledge
• Logic of proofs
• Logical Omniscience Via Proof Complexity
• Propositional games with explicit strategies
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• The Logic of Proofs as a Foundation for Certifying Mobile Computation
• The logic of justification
• The logic of justified belief change, soft evidence and defeasible knowledge
• The logic of proofs, semantically
• Update as evidence: belief expansion
• Why do we need justification logic?

Cited in

(21)

• The logical burdens of proof. Assertion and hypothesis
• Incomplete Information and Justifications
• scientific article; zbMATH DE number 4189237 (Why is no real title available?)
• The logic of uncertain justifications
• First steps towards probabilistic justification logic
• Possibilistic justification logic: reasoning about justified uncertain beliefs
• Rosenkranz's logic of justification and unprovability
• A note on strong axiomatization of Gödel justification logic
• The ontology of justifications in the logical setting
• Justification logic with approximate conditional probabilities
• A notion of \(C\)-justification for empirical statements
• Reasoning about justified belief based on the fusion of evidence
• Deductive reasoning under uncertainty: a water tank analogy
• A new notion of meaning connection and the logic of simple processes
• scientific article; zbMATH DE number 2079260 (Why is no real title available?)
• A formal theory of justifications
• Justification Logics with Probability Operators
• Simple evidence elimination in justification logic
• Probabilistic justification logic
• Logic of confidence
• Impossible and conflicting obligations in justification logic

This page was built for publication: The logic of uncertain justifications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q392291)