Alternating Quantifiers in Uniform One-Dimensional Fragments with an Excursion into Three-Variable Logic.
Log. Methods Comput. Sci., 2025
On the complexity of Maslov's class K.
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024
On the Complexity of Maslov's Class K (Extended Abstract).
Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024
An excursion to the border of decidability: between two- and three-variable logic.
Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023
Presburger Büchi Tree Automata with Applications to Logics with Expressive Counting.
Proceedings of the Logic, Language, Information, and Computation, 2022