DefTab: a tableaux system for sceptical consequence in default modal logics. (English) Zbl 07850737
Ramanayake, Revantha (ed.) et al., Automated reasoning with analytic tableaux and related methods. 32nd international conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14278, 37-48 (2023).
MSC:
68V15