18 citations · 100 across the 22 of their papers we have counts for
1 paper · 2 filters
Martin Lange
The polyadic mu-calculus is a modal fixpoint logic whose formulas define relations of nodes rather than just sets in labelled transition systems. It can express exactly the polynom…