93 citations · 141 across the 18 of their papers we have counts for
3 papers · 1 filter
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…
Logics for Propositional Determinacy and Independence
Valentin Goranko, Antti Kuusisto
This paper investigates formal logics for reasoning about determinacy and independence. Propositional Dependence Logic D and Propositional Independence Logic I are recently develop…
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…