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 math.LOShow all

2 papers · 1 filter

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…

math.LO2016

Game-Theoretic Semantics for Alternating-Time Temporal Logic

Valentin Goranko, Antti Kuusisto, Raine Rönnholm

We introduce versions of game-theoretic semantics (GTS) for Alternating-Time Temporal Logic (ATL). In GTS, truth is defined in terms of existence of a winning strategy in a semanti…