Artikkelit - Trepo

Viitteet 1-5 / 5

Capturing k-ary existential second order logic with k-ary inclusion–exclusion logic

Rönnholm, Raine (2018)
article
CTL with Finitely Bounded Semantics

Valentin, Goranko; Kuusisto, Antti; Rönnholm, Raine; Schewe, Sven; Schneider, Thomas; Wijsen, Jef
Leibniz International Proceedings in Informatics (LIPIcs) : 90 (Schloss Dagstuhl, 2017)
conferenceObject
Game-Theoretic Semantics for Alternating-Time Temporal Logic

Goranko, Valentin; Kuusisto, Antti; Rönnholm, Raine (2018)
article
Independence-friendly logic without Henkin quantification

Barbero, Fausto; Hella, Lauri; Rönnholm, Raine; Kennedy J., de Queiroz R. (Springer, Berlin, 2017)
conferenceObject
The expressive power of k-ary exclusion logic

Rönnholm, Raine (2019)
article