Similar Items: Probabilistic modal {mu}-calculus with independent product
- $aleph_1$ and the modal $mu$-calculus
- On the equivalence of game and denotational semantics for the probabilistic mu-calculus
- 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
- EXPTIME Tableaux for the Coalgebraic mu-Calculus
- Intersection Types for the lambda-mu Calculus