The following pages link to (Q4411813):
Displaying 6 items.
- The variable hierarchy for the games \(\mu \)-calculus (Q636308) (← links)
- The determinacy strength of \(\Pi_2^1\)-comprehension (Q636381) (← links)
- Games for the \(\mu\)-calculus (Q671352) (← links)
- On the equivalence of game and denotational semantics for the probabilistic \(\mu\)-calculus (Q2888508) (← links)
- A selection property of the boolean $\mu $-calculus and some of its applications (Q4380557) (← links)
- (Q4417852) (← links)
