The logic of uncertain justifications

DOI10.1016/J.APAL.2013.07.015zbMATH Open1325.03013OpenAlexW2128925482MaRDI QIDQ392291FDOQ392291

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

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

zbMATH Keywords

epistemic logicuncertain reasoningjustification logic

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (20)

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

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)