The Logic of Uncertain Justifications

DOI10.1007/978-3-642-35722-0_21zbMath1437.03071OpenAlexW3157546889MaRDI QIDQ3455853

Bob Milnikel

Publication date: 11 December 2015

Published in: Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-35722-0_21

zbMATH Keywords

proof theoryepistemic logicjustification logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Related Items (1)

Justification logic with confidence

Cites Work

• The logic of proofs, semantically
• Derivability in certain subsystems of the logic of proofs is \(\Pi_2^p\)-complete
• Logic of proofs
• Justified common knowledge
• Explicit Provability and Constructive Semantics
• 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
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

This page was built for publication: The Logic of Uncertain Justifications