First-Order Game Logic and Modal Mu-Calculus

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…