Similar Items: Data-Aware Hybrid Tableaux
- Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
- EXPTIME Tableaux for the Coalgebraic mu-Calculus
- Complexity results for modal logic with recursion via translations and tableaux
- Analytic Tableaux for Simple Type Theory and its First-Order Fragment
- Axiomatizing Hybrid XPath with Data
- Enhanced SIRRT*: Structure-Aware RRT* With Hybrid Smoothing and Bidirectional Rewiring