activity
20162021
most citedBounded Game-Theoretic Semantics for Modal Mu-Calculus and Some Variants

2 citations · 4 across the 3 of their papers we have counts for

collaborators
Showing 2017 · math.LOShow all

1 paper · 2 filters

math.LO2017

Game-Theoretic Semantics for ATL+ with Applications to Model Checking

Valentin Goranko, Antti Kuusisto, Raine Rönnholm

We develop game-theoretic semantics (GTS) for the fragment ATL+ of the full Alternating-time Temporal Logic ATL*, essentially extending a recently introduced GTS for ATL. We first…