| No. |
Title |
Author |
Year |
| 1 |
Complexity Classifications via Algebraic Logic |
Jaakkola, Reijo et al. |
2023 |
| 2 |
Descriptive Complexity for Distributed Computing with Circuits |
Ahvonen, Veeti et al. |
2023 |
| 3 |
Relating Description Complexity to Entropy |
Jaakkola, Reijo et al. |
2023 |
| 4 |
CTL with Finitely Bounded Semantics |
Goranko, Valentin et al. |
2017 |
| 5 |
Model Checking and Validity in Propositional and Modal Inclusion Logics |
Hella, Lauri et al. |
2017 |
| 6 |
One-Dimensional Logic over Trees |
Kieronski, Emanuel et al. |
2017 |
| 7 |
Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics (Invited Talk) |
Feier, Cristina et al. |
2017 |
| 8 |
Decidability of Predicate Logics with Team Semantics |
Kontinen, Juha et al. |
2016 |
| 9 |
Uniform One-Dimensional Fragments with One Equivalence Relation |
Kierónski, Emanuel et al. |
2015 |
| 10 |
Modal Logic and Distributed Message Passing Automata |
Kuusisto, Antti |
2013 |
| 11 |
Undecidable First-Order Theories of Affine Geometries |
Kuusisto, Antti et al. |
2012 |
