Raine Rönnholm

Available identifiers

Publication	Date of Publication	Type
The optimal way to play the most difficult repeated coordination games	2024-12-06	Paper
The optimal way to play the most difficult repeated two-player coordination games	2023-12-11	Paper
CTL with finitely bounded semantics	2023-02-03	Paper
Bounded game-theoretic semantics for modal mu-calculus	2022-12-08	Paper
On definability of team relations with \(k\)-invariant atoms	2022-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q5021004	2022-01-11	Paper
Independence-friendly logic without Henkin quantification	2021-07-21	Paper
Gradual Guaranteed Coordination in Repeated Win-Lose Coordination Games.	2021-07-06	Paper
Game-theoretic semantics for \(\mathrm{ATL}^+\) with applications to model checking	2021-02-08	Paper
Rational coordination with no communication or conventions	2020-12-15	Paper
Optimal protocols for the most difficult repeated coordination games	2020-04-15	Paper
Alternating-time temporal logic ATL with finitely bounded semantics	2019-11-07	Paper
The expressive power of \(k\)-ary exclusion logic	2019-09-18	Paper
Game-Theoretic Semantics for Alternating-Time Temporal Logic	2018-10-24	Paper
Capturing \(k\)-ary existential second order logic with \(k\)-ary inclusion-exclusion logic	2018-01-11	Paper
Independence-friendly logic without Henkin quantification	2017-12-20	Paper
Rational coordination with no communication or conventions	2017-11-22	Paper
Bounded game-theoretic semantics for modal mu-calculus	2017-06-02	Paper
The Expressive Power of k-ary Exclusion Logic	2016-09-09	Paper

This page was built for person: Raine Rönnholm