Carlos Areces, Valentin Cassano, Raul Fervari, Guillaume Hoffmann 0001. DefTab : A Tableaux System for Sceptical Consequence in Default Modal Logics. In Revantha Ramanayake, Josef Urban, editors, Automated Reasoning with Analytic Tableaux and Related Methods - 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings. Volume 14278 of Lecture Notes in Computer Science, pages 37-48, Springer, 2023. [doi]
Abstract is missing.