Reasoning with Justifications
DOI10.1007/978-1-4020-9084-4_6zbMATH Open1166.03006OpenAlexW2274735745MaRDI QIDQ3600565FDOQ3600565
Publication date: 5 February 2009
Published in: Towards Mathematical Philosophy (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-1-4020-9084-4_6
surveyepistemic logicPeano arithmeticlogical omnisciencejustification logicspossible-worlds semanticsexplicit justification
Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Philosophy of mathematics (00A30) Gödel numberings and issues of incompleteness (03F40)
Cites Work
- Belief, awareness, and limited reasoning
- Explicit provability and constructive semantics
- The logic of proofs, semantically
- Evidence Reconstruction of Epistemic Modal Logic S5
- Title not available (Why is that?)
- Introducing Justification into Epistemic Logic
- Justified common knowledge
- Making knowledge explicit: how hard it is
- Logical Omniscience Via Proof Complexity
- Provability logics with quantifiers on proofs
Cited In (14)
- The logic of justified belief, explicit knowledge, and conclusive evidence
- Logics of Rational Interaction
- The Logic of Justification
- A new framework for justification logic
- Realizations and LP
- Simple Evidence Elimination in Justification Logic
- Deductive Joint Support for Rational Unrestricted Rebuttal
- Intuitive and Regressive Justifications†
- Reasoning about rationality
- Justification logics, logics of knowledge, and conservativity
- Feasible operations on proofs: the logic of proofs for bounded arithmetic
- Justification logic with confidence
- Multi-agent justification logic: communication and evidence elimination
- Tracking reasons with extensions of relevant logics
Recommendations
This page was built for publication: Reasoning with Justifications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3600565)