The following pages link to (Q4825712):
Displaying 5 items.
- On bisimulations for description logics (Q527171) (← links)
- The mu-calculus and Model Checking (Q3176384) (← links)
- (Q3787992) (← links)
- Monadic Second Order Logic And Its Fragments (Q4923546) (← links)
- On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic (Q6104378) (← links)