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

DOI10.1007/978-3-031-43513-3_3MaRDI QIDQ6541144FDOQ6541144

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

Publication date: 17 May 2024

Mathematics Subject Classification ID

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

Cites Work

• HTab: a Terminating Tableaux System for Hybrid Logic
• Modal logic
• An introduction to non-classical logic. From if to is
• Handbook of modal logic
• A logic for default reasoning
• The many valued and nonmonotonic turn in logic
• Title not available (Why is that?)
• Lightweight hybrid tableaux
• Introduction
• Title not available (Why is that?)
• Interpolation and Beth definability in default logics
• A tableaux calculus for default intuitionistic logic
• Reasoning About Prescription and Description Using Prioritized Default Rules
• Realizing Default Logic over Description Logic Knowledge Bases

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)