The Expressive Power of k-ary Exclusion Logic. - Raine Rönnholm (WoLLIC, 2016)

Game-Theoretic Semantics for ATL+ with Applications to Model Checking. - Valentin Goranko; Antti Kuusisto; Raine Rönnholm (AAMAS, 2017)

Rational Coordination in Games with Enriched Representations. - Valentin Goranko; Antti Kuusisto; Raine Rönnholm (EUMAS/AT, 2017)

CTL with Finitely Bounded Semantics. - Valentin Goranko; Antti Kuusisto; Raine Rönnholm (TIME, 2017)

Capturing k-ary existential second order logic with k-ary inclusion-exclusion logic. - Raine Rönnholm (Ann. Pure Appl. Log., 2018)

Game-Theoretic Semantics for Alternating-Time Temporal Logic. - Valentin Goranko; Antti Kuusisto; Raine Rönnholm (ACM Trans. Comput. Log., 2018)

Arity Fragments of Logics with Team Semantics ; Paikkalukujen määräämät alilogiikat tiimisemantiikassa. - Raine Rönnholm (2018)

The expressive power of k-ary exclusion logic. - Raine Rönnholm (Ann. Pure Appl. Log., 2019)

Alternating-time temporal logic ATL with finitely bounded semantics. - Valentin Goranko; Antti Kuusisto; Raine Rönnholm (Theor. Comput. Sci., 2019)

Gradual Guaranteed Coordination in Repeated Win-Lose Coordination Games. - Valentin Goranko; Antti Kuusisto; Raine Rönnholm (ECAI, 2020)

Optimal protocols for the most difficult repeated coordination games. - Antti Kuusisto; Raine Rönnholm (CoRR, 2020)

Bounded Game-Theoretic Semantics for Modal Mu-Calculus and Some Variants. - Lauri Hella; Antti Kuusisto; Raine Rönnholm (GandALF, 2020)

Rational coordination with no communication or conventions. - Valentin Goranko; Antti Kuusisto; Raine Rönnholm (J. Log. Comput., 2020)

Independence-friendly logic without Henkin quantification. - Fausto Barbero; Lauri Hella; Raine Rönnholm (Arch. Math. Log., 2021)

The Optimal Way to Play the Most Difficult Repeated Coordination Games. - Antti Kuusisto; Raine Rönnholm (GandALF, 2021)

Game-theoretic semantics for ATL+ with applications to model checking. - Valentin Goranko; Antti Kuusisto; Raine Rönnholm (Inf. Comput., 2021)

On definability of team relations with k-invariant atoms. - Raine Rönnholm (Ann. Pure Appl. Log., 2022)

Bounded game-theoretic semantics for modal mu-calculus. - Lauri Hella; Antti Kuusisto; Raine Rönnholm (Inf. Comput., 2022)

How to Manage a Budget with ATL+. - Stéphane Demri; Raine Rönnholm (KR, 2023)

The optimal way to play the most difficult repeated two-player coordination games. - Antti Kuusisto; Raine Rönnholm (Discret. Appl. Math., 2023)