7 citations · 7 across the 1 of their papers we have counts for
1 paper · 1 filter
Diana Fischer, Erich Grädel, Lukasz Kaiser
We investigate quantitative extensions of modal logic and the modal mu-calculus, and study the question whether the tight connection between logic and games can be lifted from the…