93 citations · 141 across the 18 of their papers we have counts for
3 papers · 1 filter
A logic for temporal conditionals and a solution to the Sea Battle Puzzle
Fengkui Ju, Gianluca Grilletti, Valentin Goranko
Temporal reasoning with conditionals is more complex than both classical temporal reasoning and reasoning with timeless conditionals, and can lead to some rather counter-intuitive…
Rational coordination with no communication or conventions
Valentin Goranko, Antti Kuusisto, Raine Rönnholm
We study pure coordination games where in every outcome, all players have identical payoffs, 'win' or 'lose'. We identify and discuss a range of 'purely rational principles' guidin…
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…