40 citations · 92 across the 18 of their papers we have counts for
1 paper · 1 filter
Karoliina Lehtinen
This paper studies the relationship between disjunctive form, a syntactic normal form for the modal mu calculus, and the alternation hierarchy. First it shows that all disjunctive…