177 citations · 621 across the 42 of their papers we have counts for
1 paper · 1 filter
Piero A. Bonatti, Carsten Lutz, Aniello Murano +1
The fully enriched μ-calculus is the extension of the propositional μ-calculus with inverse programs, graded modalities, and nominals. While satisfiability in several express…