Raine R\"onnholm

Identifiers

No identifiers captured yet.

Papers (4)

1. Game-Theoretic Semantics for ATL+ with Applications to Model Checking math.LO · 2017 · author #3
2. The Expressive Power of k-ary Exclusion Logic math.LO · 2016 · author #1
3. Game-Theoretic Semantics for Alternating-Time Temporal Logic math.LO · 2016 · author #3
4. Capturing k-ary Existential Second Order Logic with k-ary Inclusion-Exclusion Logic math.LO · 2015 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Antti Kuusisto 2 shared papers
• Valentin Goranko 2 shared papers