Single Step Tableaux for Modal Logics

• 1 January 2000
• journal article
• Published by Springer Nature in Journal of Automated Reasoning
• Vol. 24  (3) , 319-364
• https://doi.org/10.1023/a:1006155811656

Abstract

Keywords

• STEP TABLEAUX
• SEQUENT
• PREFIXED
• SST
• MODULAR
• CALCULUS
• LOGICS SINGLE