The succinctness of first-order logic over modal logic via a formula size game. - Lauri Hella; Miikka Vilander (Advances in Modal Logic, 2016)

On the Succinctness of Atoms of Dependency. - Martin Lück; Miikka Vilander (Log. Methods Comput. Sci., 2019)

Formula size games for modal logic and μ-calculus. - Lauri Hella; Miikka Vilander (J. Log. Comput., 2019)

Games for Succinctness of Regular Expressions. - Miikka Vilander (GandALF, 2021)

Succinctness and Formula Size Games. - Miikka Vilander (2022)

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)

Defining long words succinctly in FO and MSO. - Lauri Hella; Miikka Vilander (Comput., 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)

Why This and Not That? A Logic-Based Framework for Contrastive Explanations. - Tobias Geibinger; Reijo Jaakkola; Antti Kuusisto; Xinghan Liu; Miikka Vilander (JELIA (1), 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)