Reasoning with Justifications

DOI10.1007/978-1-4020-9084-4_6MaRDI QIDQ3600565zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 1114348 (Why is no real title available?)
• Belief, awareness, and limited reasoning
• Evidence Reconstruction of Epistemic Modal Logic S5
• Explicit provability and constructive semantics
• Introducing Justification into Epistemic Logic
• Justified common knowledge
• Logical Omniscience Via Proof Complexity
• Making knowledge explicit: how hard it is
• Provability logics with quantifiers on proofs
• The logic of proofs, semantically

Cited in

(18)

• Feasible operations on proofs: the logic of proofs for bounded arithmetic
• The logic of justified belief, explicit knowledge, and conclusive evidence
• Deductive Joint Support for Rational Unrestricted Rebuttal
• Logics of rational interaction
• Intuitive and Regressive Justifications†
• The Logic of Justification
• Justified terminological reasoning
• Justification logic with confidence
• Multi-agent justification logic: communication and evidence elimination
• Justification logics, logics of knowledge, and conservativity
• Tracking reasons with extensions of relevant logics
• Realizations and LP
• Reasoning about rationality
• Relating logics of justifications and evidence
• A formal theory of justifications
• Simple evidence elimination in justification logic
• What are justification logics?
• A new framework for justification logic

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)