activity
20062023
most citedAlgorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA

93 citations · 141 across the 18 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…