2022
First-Order Game Logic and Modal Mu-Calculus
Three decades later, Parikh’s problem has been solved: This paper investigates first-order game logic and first-order Game logic is less expressive than the modal μ-calculus [2], modal μ-calculus, which extend their propositional modal because it embeds into the two-variable frag...