A logic for best explanations

DOI10.1080/11663081.2019.1591108zbMath1445.03036OpenAlexW2926150011MaRDI QIDQ5379324

Christian Straßer, Jared Millson

Publication date: 28 May 2019

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.2019.1591108

zbMATH Keywords

abductioninference to the best explanationdefeasible reasoningsequent calculus.

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic of natural languages (03B65) Cut-elimination and normal-form theorems (03F05)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Preferences and explanations
• Abductive reasoning. Logical investigations into discovery and explanation
• Abductive consequence relations
• Jumping to explanations versus jumping to conclusions
• Testing inference to the best explanation
• On constructing a logic for the notion of complete and immediate formal grounding
• Abduction as belief revision
• Patterns of abduction
• A conditional logic for abduction
• A cut-free sequent calculus for defeasible erotetic inferences
• Pure logic of many-many ground
• Coherence measures and inference to the best explanation
• Toward a theory of the process of explanation
• Unifying logics via context-sensitiveness
• A LOGIC FOR ‘BECAUSE’
• $$\mathbf {RM}$$ RM and its Nice Properties
• Advice on Abductive Logic
• A Formal Logic for Abductive Reasoning
• First order abduction via tableau and sequent calculi
• Uniqueness of axiomatic extensions of cut-free classical propositional logic
• THE PURE LOGIC OF GROUND

This page was built for publication: A logic for best explanations