Similar Items: Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus
- $aleph_1$ and the modal $mu$-calculus
- Using models to model-check recursive schemes
- Model Checking the Quantitative mu-Calculus on Linear Hybrid Systems
- Probabilistic modal {mu}-calculus with independent product
- Some model theory for the modal $mu$-calculus: syntactic characterisations of semantic properties
- EXPTIME Tableaux for the Coalgebraic mu-Calculus