Raine Rönnholm

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Discrete Applied Mathematics	2023-12-11	Paper
CTL with finitely bounded semantics	2023-02-03	Paper
Bounded game-theoretic semantics for modal mu-calculus Information and Computation	2022-12-08	Paper
On definability of team relations with \(k\)-invariant atoms Annals of Pure and Applied Logic	2022-09-16	Paper
scientific article; zbMATH DE number 7455742 (Why is no real title available?)	2022-01-11	Paper
Independence-friendly logic without Henkin quantification Archive for Mathematical Logic	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 Information and Computation	2021-02-08	Paper
Rational coordination with no communication or conventions Journal Of Logic And Computation	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 Theoretical Computer Science	2019-11-07	Paper
The expressive power of \(k\)-ary exclusion logic Annals of Pure and Applied Logic	2019-09-18	Paper
Game-Theoretic Semantics for Alternating-Time Temporal Logic ACM Transactions on Computational Logic	2018-10-24	Paper
Capturing \(k\)-ary existential second order logic with \(k\)-ary inclusion-exclusion logic Annals of Pure and Applied Logic	2018-01-11	Paper
Independence-friendly logic without Henkin quantification Logic, Language, Information, and Computation	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 Logic, Language, Information, and Computation	2016-09-09	Paper

Research outcomes over time

This page was built for person: Raine Rönnholm