12 citations · 23 across the 4 of their papers we have counts for
1 paper · 1 filter
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…