The Logic of Justification

DOI10.1007/978-3-319-20451-2_32zbMath1384.03096OpenAlexW4242562094MaRDI QIDQ2971696

Sergej N. Artemov

Publication date: 7 April 2017

Published in: Readings in Formal Epistemology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-20451-2_32

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• From the knowability paradox to the existence of proofs
• The logic of proofs, semantically
• Derivability in certain subsystems of the logic of proofs is \(\Pi_2^p\)-complete
• Belief, awareness, and limited reasoning
• Constructivism in mathematics. An introduction. Volume II
• Impossible possible worlds vindicated
• Active agents
• First-order modal logic
• Justified common knowledge
• Making knowledge explicit: how hard it is
• On the complexity of the reflected logic of proofs
• Referential logic of proofs
• An essay in modal logic
• Explicit Provability and Constructive Semantics
• Introducing Justification into Epistemic Logic
• Evidence Reconstruction of Epistemic Modal Logic S5
• Multi-agent Explicit Knowledge
• Logical Omniscience Via Proof Complexity
• Justified and Common Knowledge: Limited Conservativity
• Explicit Proofs in Formal Provability Logic
• Symmetric Logic of Proofs
• On the interpretation of intuitionistic number theory
• The single-conclusion proof logic and inference rules specification

This page was built for publication: The Logic of Justification