17 citations · 77 across the 18 of their papers we have counts for
1 paper · 1 filter
Etienne Lozes
In the modal mu-calculus, a formula is well-formed if each recursive variable occurs underneath an even number of negations. By means of De Morgan's laws, it is easy to transform a…