The Logic of Justification
From MaRDI portal
Publication:2971696
DOI10.1007/978-3-319-20451-2_32zbMath1384.03096OpenAlexW4242562094MaRDI QIDQ2971696
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
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