Reasoning with Justifications

DOI10.1007/978-1-4020-9084-4_6zbMATH Open1166.03006OpenAlexW2274735745MaRDI QIDQ3600565FDOQ3600565

Authors: 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

Recommendations

• What are justification logics?
• Logics of proofs and justifications
• Realizations and LP
• Introducing Justification into Epistemic Logic
• Justification logics, logics of knowledge, and conservativity

zbMATH Keywords

surveyepistemic logicPeano arithmeticlogical omnisciencejustification logicspossible-worlds semanticsexplicit justification

Mathematics Subject Classification ID

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 (16)

• The logic of justified belief, explicit knowledge, and conclusive evidence
• Simple evidence elimination in justification logic
• Justified terminological reasoning
• The Logic of Justification
• A new framework for justification logic
• Realizations and LP
• 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
• Logics of rational interaction
• Justification logic with confidence
• Multi-agent justification logic: communication and evidence elimination
• Tracking reasons with extensions of relevant logics
• A formal theory of justifications

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)