Parity Games and Automata for Game Logic (Extended Version)

Helle Hvid Hansen, Clemens Kupke, Johannes Marti +1

Parikh's game logic is a PDL-like fixpoint logic interpreted on monotone neighbourhood frames that represent the strategic power of players in determined two-player games. Game log…