31 citations · 83 across the 33 of their papers we have counts for
4 papers · 1 filter
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…
Model Checking and Validity in Propositional and Modal Inclusion Logics
Lauri Hella, Antti Kuusisto, Arne Meier +1
Propositional and modal inclusion logic are formalisms that belong to the family of logics based on team semantics. This article investigates the model checking and validity proble…
On the uniform one-dimensional fragment
Antti Kuusisto
The uniform one-dimensional fragment of first-order logic, U1, is a formalism that extends two-variable logic in a natural way to contexts with relations of all arities. We survey…
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…