12 citations · 23 across the 4 of their papers we have counts for
1 paper · 2 filters
Matteo Mio, Alex Simpson
The paper explores properties of Łukasiewicz mu-calculus, a version of the quantitative/probabilistic modal mu-calculus containing both weak and strong conjunctions and disjunction…