A modal perspective on monadic second-order alternation hierarchies. - Antti Kuusisto (Advances in Modal Logic, 2008)

Monadic Sigma11 and Modal Logic with Quantified Binary Relations. - Lauri Hella; Antti Kuusisto (M4M, 2009)

Modal Fragments of Second-Order Logic. - Antti Kuusisto (2011)

Modal Logic and Distributed Message Passing Automata. - Antti Kuusisto (CSL, 2013)

Undecidable First-Order Theories of Affine Geometries. - Antti Kuusisto; Jeremy Meyers; Jonni Virtema (Log. Methods Comput. Sci., 2013)

Expressivity of Imperfect Information Logics without Identity. - Antti Kuusisto (Stud Logica, 2013)

One-dimensional Fragment of First-order Logic. - Lauri Hella; Antti Kuusisto (Advances in Modal Logic, 2014)

Complexity and Expressivity of Uniform One-Dimensional Fragment with Equality. - Emanuel Kieronski; Antti Kuusisto (MFCS (1), 2014)

Decidable Fragments of Logics Based on Team Semantics. - Juha Kontinen; Antti Kuusisto; Jonni Virtema (CoRR, 2014)

Some Turing-Complete Extensions of First-Order Logic. - Antti Kuusisto (GandALF, 2014)

Infinite Networks, Halting and Local Algorithms. - Antti Kuusisto (GandALF, 2014)

Complexity of two-variable dependence logic and IF-logic. - Juha Kontinen; Antti Kuusisto; Peter Lohmann; Jonni Virtema (Inf. Comput., 2014)

Uniform One-Dimensional Fragments with One Equivalence Relation. - Emanuel Kieronski; Antti Kuusisto (CSL, 2015)

Modal Inclusion Logic: Being Lax is Simpler than Being Strict. - Lauri Hella; Antti Kuusisto; Arne Meier; Heribert Vollmer (MFCS (1), 2015)

Team Semantics and Recursive Enumerability. - Antti Kuusisto (SOFSEM (Student Research Forum Papers / Posters), 2015)

Second-order propositional modal logic and monadic alternation hierarchies. - Antti Kuusisto (Ann. Pure Appl. Log., 2015)

Weak models of distributed computing, with connections to modal logic. - Lauri Hella; Matti Järvisalo; Antti Kuusisto; Juhana Laurinharju; Tuomo Lempiäinen; Kerkko Luosto; Jukka Suomela; Jonni Virtema (Distributed Comput., 2015)

A Double Team Semantics for Generalized Quantifiers. - Antti Kuusisto (J. Log. Lang. Inf., 2015)

FO-Rewritability of Expressive Ontology-Mediated Queries. - Cristina Feier; Antti Kuusisto; Carsten Lutz (Description Logics, 2016)

On the Uniform One-dimensional Fragment. - Antti Kuusisto (Description Logics, 2016)

Decidability of Predicate Logics with Team Semantics. - Juha Kontinen; Antti Kuusisto; Jonni Virtema (MFCS, 2016)

Existential second-order logic and modal logic with quantified accessibility relations. - Lauri Hella; Antti Kuusisto (Inf. Comput., 2016)

Game-Theoretic Semantics for ATL+ with Applications to Model Checking. - Valentin Goranko; Antti Kuusisto; Raine Rönnholm (AAMAS, 2017)

Rational Coordination in Games with Enriched Representations. - Valentin Goranko; Antti Kuusisto; Raine Rönnholm (EUMAS/AT, 2017)

Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics (Invited Talk). - Cristina Feier; Antti Kuusisto; Carsten Lutz (ICDT, 2017)

One-Dimensional Logic over Trees. - Emanuel Kieronski; Antti Kuusisto (MFCS, 2017)

CTL with Finitely Bounded Semantics. - Valentin Goranko; Antti Kuusisto; Raine Rönnholm (TIME, 2017)

First-order logic with incomplete information. - Antti Kuusisto (CoRR, 2017)

Emptiness Problems for Distributed Automata. - Antti Kuusisto; Fabian Reiter (GandALF, 2017)

Weighted model counting beyond two-variable logic. - Antti Kuusisto; Carsten Lutz (LICS, 2018)

Logics for Propositional Determinacy and Independence. - Valentin Goranko; Antti Kuusisto (Rev. Symb. Log., 2018)

Game-Theoretic Semantics for Alternating-Time Temporal Logic. - Valentin Goranko; Antti Kuusisto; Raine Rönnholm (ACM Trans. Comput. Log., 2018)

On Games and Computation. - Antti Kuusisto (CoRR, 2019)

Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics. - Cristina Feier; Antti Kuusisto; Carsten Lutz (Log. Methods Comput. Sci., 2019)

Model checking and validity in propositional and modal inclusion logics. - Lauri Hella; Antti Kuusisto; Arne Meier; Jonni Virtema (J. Log. Comput., 2019)

Alternating-time temporal logic ATL with finitely bounded semantics. - Valentin Goranko; Antti Kuusisto; Raine Rönnholm (Theor. Comput. Sci., 2019)

Gradual Guaranteed Coordination in Repeated Win-Lose Coordination Games. - Valentin Goranko; Antti Kuusisto; Raine Rönnholm (ECAI, 2020)

Optimal protocols for the most difficult repeated coordination games. - Antti Kuusisto; Raine Rönnholm (CoRR, 2020)

Algebraic classifications for fragments of first-order logic and beyond. - Reijo Jaakkola; Antti Kuusisto (CoRR, 2020)

Bounded Game-Theoretic Semantics for Modal Mu-Calculus and Some Variants. - Lauri Hella; Antti Kuusisto; Raine Rönnholm (GandALF, 2020)

Rational coordination with no communication or conventions. - Valentin Goranko; Antti Kuusisto; Raine Rönnholm (J. Log. Comput., 2020)

Satisfiability of Modal Inclusion Logic: Lax and Strict Semantics. - Lauri Hella; Antti Kuusisto; Arne Meier; Heribert Vollmer (ACM Trans. Comput. Log., 2020)

Description logics as polyadic modal logics. - Jonne Iso-Tuisku; Antti Kuusisto (CoRR, 2021)

The Optimal Way to Play the Most Difficult Repeated Coordination Games. - Antti Kuusisto; Raine Rönnholm (GandALF, 2021)

Game-theoretic semantics for ATL+ with applications to model checking. - Valentin Goranko; Antti Kuusisto; Raine Rönnholm (Inf. Comput., 2021)

On expressive rule-based logics. - Antti Kuusisto (CoRR, 2022)

First-order logic with self-reference. - Reijo Jaakkola; Antti Kuusisto (CoRR, 2022)

Bounded game-theoretic semantics for modal mu-calculus. - Lauri Hella; Antti Kuusisto; Raine Rönnholm (Inf. Comput., 2022)

One-dimensional fragment over words and trees. - Emanuel Kieronski; Antti Kuusisto (J. Log. Comput., 2022)

Complexity Classifications via Algebraic Logic. - Reijo Jaakkola; Antti Kuusisto (CSL, 2023)

Short Boolean Formulas as Explanations in Practice. - Reijo Jaakkola; Tomi Janhunen; Antti Kuusisto; Masood Feyzbakhsh Rankooh; Miikka Vilander (JELIA, 2023)

A monotone connection between model class size and description length. - Reijo Jaakkola; Antti Kuusisto; Miikka Vilander (CoRR, 2023)

The optimal way to play the most difficult repeated two-player coordination games. - Antti Kuusisto; Raine Rönnholm (Discret. Appl. Math., 2023)

Descriptive Complexity for Neural Networks via Boolean Networks. - Veeti Ahvonen; Damian Heiman; Antti Kuusisto (CSL, 2024)

Interpretable Classifiers for Tabular Data via Feature Selection and Discretization. - Reijo Jaakkola; Tomi Janhunen; Antti Kuusisto; Masood Feyzbakhsh Rankooh; Miikka Vilander (DAO-XAI@ECAI, 2024)

Logical characterizations of recurrent graph neural networks with reals and floats. - Veeti Ahvonen; Damian Heiman; Antti Kuusisto; Carsten Lutz (NeurIPS, 2024)

Graded modal logic and counting message passing automata. - Veeti Ahvonen; Damian Heiman; Antti Kuusisto (CoRR, 2024)

Interpretable classifiers for tabular data via discretization and feature selection. - Reijo Jaakkola; Tomi Janhunen; Antti Kuusisto; Masood Feyzbakhsh Rankooh; Miikka Vilander (CoRR, 2024)

Globally Interpretable Classifiers via Boolean Formulas with Dynamic Propositions. - Reijo Jaakkola; Tomi Janhunen; Antti Kuusisto; Masood Feyzbakhsh Rankooh; Miikka Vilander (CoRR, 2024)

Description Complexity of Unary Structures in First-Order Logic with Links to Entropy. - Reijo Jaakkola; Antti Kuusisto; Miikka Vilander (CSL, 2025)

Explainability via Short Formulas: the Case of Propositional Logic with Implementation. - Reijo Jaakkola; Tomi Janhunen; Antti Kuusisto; Masood Feyzbakhsh Rankooh; Miikka Vilander (J. Artif. Intell. Res., 2025)

Relating description complexity to entropy. - Reijo Jaakkola; Antti Kuusisto; Miikka Vilander (J. Comput. Syst. Sci., 2025)

Descriptive complexity for distributed computing with circuits. - Veeti Ahvonen; Damian Heiman; Lauri Hella; Antti Kuusisto (J. Log. Comput., 2025)

Graph neural networks and MSO. - Veeti Ahvonen; Damian Heiman; Antti Kuusisto (CoRR, 2025)

Games for graded modal substitution calculus. - Veeti Ahvonen; Reijo Jaakkola; Antti Kuusisto (CoRR, 2025)

Why this and not that? A Logic-based Framework for Contrastive Explanations. - Tobias Geibinger; Reijo Jaakkola; Antti Kuusisto; Xinghan Liu; Miikka Vilander (CoRR, 2025)