Similar Items: EXPTIME Tableaux for the Coalgebraic mu-Calculus
- Coalgebraic Satisfiability Checking for Arithmetic $mu$-Calculi
- Intersection Types for the lambda-mu Calculus
- $aleph_1$ and the modal $mu$-calculus
- Scalar and Vectorial mu-calculus with Atoms
- An expressive completeness theorem for coalgebraic modal mu-calculi
- Probabilistic modal {mu}-calculus with independent product