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

Ordered Fragments of First-Order Logic. - Reijo Jaakkola (MFCS, 2021)

Complexity of the Ackermann fragment with one leading existential quantifier. - Reijo Jaakkola (CoRR, 2021)

Expressive power versus decidability. - Reijo Jaakkola (CoRR, 2021)

Uniform Guarded Fragments. - Reijo Jaakkola (FoSSaCS, 2022)

Towards a Model Theory of Ordered Logics: Expressivity and Interpolation. - Bartosz Bednarczyk; Reijo Jaakkola (MFCS, 2022)

Towards a Model Theory of Ordered Logics: Expressivity and Interpolation (Extended version). - Bartosz Bednarczyk; Reijo Jaakkola (CoRR, 2022)

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

Complexity of Polyadic Boolean Modal Logics: Model Checking and Satisfiability. - Reijo Jaakkola (CSL, 2023)

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)

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)

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)

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)