\textbf{DefTab}: a tableaux system for sceptical consequence in default modal logics

DOI10.1007/978-3-031-43513-3_3MaRDI QIDQ6541144zbMATH OpenFDO

Authors Carlos Areces, Valentin Cassano, Raul Fervari, Guillaume Hoffmann

Publication date 17 May 2024

Copyright license Creative Commons Attribution 4.0 International

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites work

• scientific article; zbMATH DE number 4219104 (Why is no real title available?)
• scientific article; zbMATH DE number 1189104 (Why is no real title available?)
• A logic for default reasoning
• A tableaux calculus for default intuitionistic logic
• An introduction to non-classical logic. From if to is
• HTab: a terminating tableaux system for hybrid logic
• Handbook of modal logic
• Interpolation and Beth definability in default logics
• Introduction
• Lightweight hybrid tableaux
• Modal logic
• Realizing Default Logic over Description Logic Knowledge Bases
• Reasoning About Prescription and Description Using Prioritized Default Rules
• The many valued and nonmonotonic turn in logic

This page was built for publication: \textbf{DefTab}: a tableaux system for sceptical consequence in default modal logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6541144)