Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
Cristina Feier, Antti Kuusisto, Carsten Lutz
Published in Logical methods in computer science (01.01.2019)
Published in Logical methods in computer science (01.01.2019)
Get full text
Journal Article
Emptiness Problems for Distributed Automata
Kuusisto, Antti, Reiter, Fabian
Published in Electronic proceedings in theoretical computer science (06.09.2017)
Published in Electronic proceedings in theoretical computer science (06.09.2017)
Get full text
Journal Article
Undecidable First-Order Theories of Affine Geometries
Kuusisto, Antti, Meyers, Jeremy, Virtema, Jonni
Published in Logical methods in computer science (30.12.2013)
Published in Logical methods in computer science (30.12.2013)
Get full text
Journal Article
Bounded game-theoretic semantics for modal mu-calculus
Hella, Lauri, Kuusisto, Antti, Rönnholm, Raine
Published in Information and computation (01.11.2022)
Published in Information and computation (01.11.2022)
Get full text
Journal Article
Game-theoretic semantics for ATL+ with applications to model checking
Goranko, Valentin, Kuusisto, Antti, Rönnholm, Raine
Published in Information and computation (01.02.2021)
Published in Information and computation (01.02.2021)
Get full text
Journal Article
Alternating-time temporal logic ATL with finitely bounded semantics
Goranko, Valentin, Kuusisto, Antti, Rönnholm, Raine
Published in Theoretical computer science (10.12.2019)
Published in Theoretical computer science (10.12.2019)
Get full text
Journal Article
Rational Coordination with no Communication or Conventions
Goranko, Valentin, Kuusisto, Antti, Rönnholm, Raine
Published in Logic, Rationality, and Interaction (2017)
Published in Logic, Rationality, and Interaction (2017)
Get full text
Book Chapter
Conference Proceeding
The Optimal Way to Play the Most Difficult Repeated Coordination Games
Kuusisto, Antti, Rönnholm, Raine
Published in Electronic proceedings in theoretical computer science (17.09.2021)
Published in Electronic proceedings in theoretical computer science (17.09.2021)
Get full text
Journal Article
Bounded Game-Theoretic Semantics for Modal Mu-Calculus and Some Variants
Hella, Lauri, Kuusisto, Antti, Rönnholm, Raine
Published in Electronic proceedings in theoretical computer science (20.09.2020)
Published in Electronic proceedings in theoretical computer science (20.09.2020)
Get full text
Journal Article
Complexity of two-variable dependence logic and IF-logic
Kontinen, Juha, Kuusisto, Antti, Lohmann, Peter, Virtema, Jonni
Published in Information and computation (01.12.2014)
Published in Information and computation (01.12.2014)
Get full text
Journal Article