DefTab : A Tableaux System for Sceptical Consequence in Default Modal Logics

Download PDF
Open Webpage

Carlos Areces, Valentin Cassano, Raul Fervari, Guillaume Hoffmann

Published: 2023, Last Modified: 11 Mar 2026TABLEAUX 2023EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: We report on an implementation of a tableaux calculus for sceptical consequence in Default Logic built on Hybrid Modal Logic. In turn, our tool offers support for checking default consequence over formulas from Propositional Logic, Basic Modal Logic and Hybrid Logic. We develop a test suite for assessing the correctness, scalability, and efficiency of our system, and inform on the results. Interestingly, our method can be adapted to generate examples for other default provers.