An Overview of Tableau Algorithms for Description Logics
Analytic Tableau Systems and Interpolation for the Modal Logics KB, KDB, K5, KD5
Free-Variable Tableaux for Propositional Modal Logics
Ground and Free-Variable Tableaux for Variants of Quantified Modal Logics
Term-Modal Logics
A Sound and Complete Tableau Calculus for Reasoning about only Knowing and Knowing at Most
Information for Authors