- document
-
Enqvist, Sebastian (author), Hansen, H.H. (author), Kupke, Clemens (author), Marti, Johannes (author), Venema, Yde (author)Game logic was introduced by Rohit Parikh in the 1980s as a generalisation of propositional dynamic logic (PDL) for reasoning about outcomes that players can force in determined 2-player games. Semantically, the generalisation from programs to games is mirrored by moving from Kripke models to monotone neighbourhood models. Parikh proposed a...conference paper 2019
- document
-
Hansen, H.H. (author), Kupke, Clemens (author), Marti, Johannes (author), Venema, Yde (author)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 logic translates into a fragment of the monotone μ -calculus, which in turn is expressively equivalent to monotone modal automata. Parity games and automata are...conference paper 2018