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)

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