2 citations · 3 across the 7 of their papers we have counts for
1 paper · 1 filter
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…