40 citations · 86 across the 4 of their papers we have counts for
1 paper · 1 filter
Noah Abou El Wafa, André Platzer
This paper investigates first-order game logic and first-order modal mu-calculus, which extend their propositional modal logic counterparts with first-order modalities of interpret…