Similar Items: Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
- Complexity results for modal logic with recursion via translations and tableaux
- Data-Aware Hybrid Tableaux
- EXPTIME Tableaux for the Coalgebraic mu-Calculus
- On the Mints Hierarchy in First-Order Intuitionistic Logic
- On logical hierarchies within FO^2-definable languages
- On the strictness of the quantifier structure hierarchy in first-order logic