Similar Items: Complexity results for modal logic with recursion via translations and tableaux
- Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
- Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus
- A Light Modality for Recursion
- Canonical Models and the Complexity of Modal Team Logic
- Data-Aware Hybrid Tableaux
- EXPTIME Tableaux for the Coalgebraic mu-Calculus