On the expressive completeness of the propositional mu-calculus w.r.t. monadic second order logic
6
7
8
9
10
11
12
13
14
15
1
/
15
100%
![[staff.science.uva.nl]](http://s1.studylibfr.com/store/data/009789078_1-7e19655a162f9b269ec52862375d9d09-300x300.png)
