| Ordered fragments of first-order logic R Jaakkola arXiv preprint arXiv:2103.08046, 2021 | 7 | 2021 |
| Algebraic classifications for fragments of first-order logic and beyond R Jaakkola, A Kuusisto arXiv preprint arXiv:2005.01184, 2020 | 5 | 2020 |
| Uniform Guarded Fragments R Jaakkola Foundations of Software Science and Computation Structures: 25th …, 2022 | 2 | 2022 |
| Relating description complexity to entropy R Jaakkola, A Kuusisto, M Vilander arXiv preprint arXiv:2209.12564, 2022 | 1 | 2022 |
| Explainability via Short Formulas: the Case of Propositional Logic with Implementation R Jaakkola, T Janhunen, A Kuusisto, MF Rankooh, M Vilander arXiv preprint arXiv:2209.01403, 2022 | 1 | 2022 |
| A monotone connection between model class size and description length R Jaakkola, A Kuusisto, M Vilander arXiv preprint arXiv:2301.13800, 2023 | | 2023 |
| Complexity Classifications via Algebraic Logic R Jaakkola, A Kuusisto 31st EACSL Annual Conference on Computer Science Logic (CSL 2023), 2023 | | 2023 |
| Complexity of Polyadic Boolean Modal Logics: Model Checking and Satisfiability R Jaakkola arXiv preprint arXiv:2210.01034, 2022 | | 2022 |
| Convergence in the space of compact labeled metric spaces R Jaakkola, A Kykkänen arXiv preprint arXiv:2210.00535, 2022 | | 2022 |
| First-order logic with self-reference R Jaakkola, A Kuusisto arXiv preprint arXiv:2207.07397, 2022 | | 2022 |
| Towards a Model Theory of Ordered Logics: Expressivity and Interpolation (Extended version) B Bednarczyk, R Jaakkola arXiv preprint arXiv:2206.11751, 2022 | | 2022 |
| Towards a Model Theory of Ordered Logics: Expressivity and Interpolation B Bednarczyk, R Jaakkola 47th International Symposium on Mathematical Foundations of Computer Science …, 2022 | | 2022 |
| Expressive power versus decidability R Jaakkola arXiv preprint arXiv:2112.14996, 2021 | | 2021 |
| Complexity of the Ackermann fragment with one leading existential quantifier R Jaakkola arXiv preprint arXiv:2111.05388, 2021 | | 2021 |
| Algebraic Fragments of First-Order Logic R Jaakkola | | 2021 |
Antti KuusistoAcademy Research Fellow, Tampere UniversityZweryfikowany adres z tuni.fi
