Searched for: author%3A%22Marti%2C+Johannes%22
(1 - 2 of 2)
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