Similar Items: $aleph_1$ and the modal $mu$-calculus
- Probabilistic modal {mu}-calculus with independent product
- Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus
- Some model theory for the modal $mu$-calculus: syntactic characterisations of semantic properties
- Scalar and Vectorial mu-calculus with Atoms
- EXPTIME Tableaux for the Coalgebraic mu-Calculus
- Intersection Types for the lambda-mu Calculus