Articles
Editorial work
M. Gamsakhurdia, S. Zobel, A. Anttila, G. Sbardolini (Eds.): Language, Logic, and Computation (TbiLLC 2025 Postproceedings). Springer, 2026.
Proceeding Publications
(with M. Baaz, A. Lolić) An Analytic Representation of the Semantics of First-Order S5, Frontiers of Combining Systems. (FroCoS) 2025. Abstract Slides Recording paperEdi
(with M. Baaz, A. Lolić) Skolemization and Decidability of the Bernays–Schönfinkel Class in Gödel Logics arXiv Conference Paper
(with M. Baaz) Gödel Logics: On the Elimination of The Absoluteness Operator arXiv
orial wor
Submitted Papers
(with M. Baaz, A. Lolić, S. Mahler) How to deal with Henkin Quantifiers in First-Order Logic
(with M. Baaz, A. Lolić, S. Mahler) First-Order Tableaux with Unification for Henkin Quantifiers
(with M. Baaz, R. Jalali, R. Iemhoff) Skolemization in intermediate logics, 2025, submitted. arXiv
(with M. Baaz) Goedel Logics: Prenex Fragments. 2024 arXiv
(with M. Baaz) Constructivity Within Constant-Domain S5
(with M. Baaz, A. Lolić) Quantified S5: Skolemization and Decidable Classes
(with M. Baaz, A. Lolić, S. Mahler) A Tableaux-Based Theorem Prover for the Simplest Non-definable Henkin Quantifier
(with M. Baaz, A. Lolić) Quantified S5: Interpolation, Skolemization, Decidable Classes
(with M. Baaz) Towards a Proof-Theoretic Analysis of Incorrect Proofs
(with M. Baaz, B. Dundua, T. Kutsia, M. Leucker) Fuzzy LTL
Tableau Calculus for Propositional Goedel Logics
Tableau Calculus for First-order Goedel Logics
(with H. Ono) Proof theory of Predicate MTL
(with M. Baaz) Power of Quantifier Shifts
Books in Preparation
(with M. Baaz, N. Preining) Book on Goedel logics
(with M. Baaz, A. Lolić) Proof Theory of Quantified S5
Journal Publications