Articles
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 paper
M. Gamsakhurdia, S. Zobel, A. Anttila, G. Sbardolini (Eds.): Language, Logic, and Computation (TbiLLC 2025 Postproceedings). Springer, 2026.
Submitted Papers
(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ć) Skolemization and Decidability of the Bernays–Schönfinkel Class in Gödel Logics arXiv
(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, A. Lolić) Quantified S5: Interpolation, Skolemization, Decidable Classes
(with M. Baaz) Gödel Logics: On the Elimination of The Absoluteness Operator
Towards a Proof-Theoretic Analysis of Incorrect Proofs
(with M. Baaz, B. Dundua, T. Kutsia, M. Leucker) Fuzzy LTL
Tableau Calculus for First-order Goedel Logics
Journal Publications
Books
Book on Goedel logics - joint work with Matthias Baaz and Norbert Preining (in progress)