Reasoning with Justifications

DOI10.1007/978-1-4020-9084-4_6zbMath1166.03006OpenAlexW2274735745MaRDI QIDQ3600565

Melvin Fitting

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

zbMATH Keywords

surveyPeano arithmeticepistemic logicpossible-worlds semanticslogical omnisciencejustification logicsexplicit justification

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42) Gödel numberings and issues of incompleteness (03F40)

Related Items (8)

Logics of Rational Interaction ⋮ Simple Evidence Elimination in Justification Logic ⋮ Multi-agent justification logic: communication and evidence elimination ⋮ The logic of justified belief, explicit knowledge, and conclusive evidence ⋮ A new framework for justification logic ⋮ Realizations and LP ⋮ Feasible operations on proofs: the logic of proofs for bounded arithmetic ⋮ Justification logics, logics of knowledge, and conservativity

Cites Work

• Unnamed Item
• The logic of proofs, semantically
• Belief, awareness, and limited reasoning
• Justified common knowledge
• Making knowledge explicit: how hard it is
• Explicit Provability and Constructive Semantics
• Introducing Justification into Epistemic Logic
• Evidence Reconstruction of Epistemic Modal Logic S5
• Logical Omniscience Via Proof Complexity
• Provability logics with quantifiers on proofs

This page was built for publication: Reasoning with Justifications