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