Provided You’re not Trivial: Adding Defaults and Paraconsistency to a Formal Model of Explanation

DOI10.1007/978-3-319-98797-2_6zbMath1439.03063OpenAlexW2897670112MaRDI QIDQ3305338

Itala M. Loffredo D'Ottaviano, Raymundo Morado, David Gaytán

Publication date: 6 August 2020

Published in: Trends in Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-98797-2_6

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Paraconsistent logics (03B53)

Cites Work

• Unnamed Item
• A logic for default reasoning
• Paraconsistent logic: consistency, contradiction and negation
• Explication defended
• Autoepistemic logic

This page was built for publication: Provided You’re not Trivial: Adding Defaults and Paraconsistency to a Formal Model of Explanation