Articles
Editorial work:
M. Gamsakhurdia, S. Zobel, A. Anttila, G. Sbardolini (Eds.): Language, Logic, and Computation (TbiLLC 2025 Postproceedings). Springer, 2026.
Conference Articles:
(with M. Baaz, A. Lolić) An Analytic Representation of the Semantics of First-Order S5, Frontiers of Combining Systems. (FroCoS) 2025. [Slides] [Recording] [DOI]
(with M. Baaz, A. Lolić) Skolemization and Decidability of the Bernays–Schönfinkel Class in Gödel Logics (2026) [arXiv] [DOI]
(with M. Baaz) Gödel Logics: On the Elimination of The Absoluteness Operator (2026) [arXiv] [DOI]
(with M. Baaz, A. Lolić, S. Mahler) First-Order Tableaux with Unification for Henkin Quantifiers (2026) [DOI]
(with M. Baaz) Towards a Proof-Theoretic Analysis of Incorrect/Incomplete Proofs (2026) [arXiv] [DOI]
(with M. Baaz, A. Lolić, S. Mahler) How to deal with Henkin Quantifiers in First-Order Logic (2026) SD'26
Journal Articles:
(with M. Baaz, R. Jalali, R. Iemhoff) Skolemization in intermediate logics, 2025, (accepted - APAL). [arXiv] [DOI]
(with M. Baaz) Proof Theory of Quantifier Shifts - An Overview (2026) ( submitted to Steklov Mathematical Institute) [arXiv] [DOI]
(with M. Baaz, A. Lolić) Beyond the Bernays–Schönfinkel Class in Gödel Logics: Skolemization, Satisfiability, and Decidability (submitted to "Special issue on Multiple-Valued Logic and Applications" in the Journal of Applied Logics (JALs)) (2026) [arXiv] [DOI]
orial wor
Preprints:
(with M. Baaz) Goedel Logics: Prenex Fragments. (2024) [arXiv]
(with M. Baaz) Constructivity Within Constant-Domain S5 (2026) [arXiv]
(with M. Baaz, A. Lolić) Quantified S5: Skolemization and Decidable Classes (2026) [arXiv]
(with M. Baaz, A. Lolić, S. Mahler) A Tableaux-Based Theorem Prover for the Simplest Non-definable Henkin Quantifier (Journal Version)
(with M. Baaz, A. Lolić) Quantified S5: Interpolation, Skolemization, Decidable Classes (Journal Version)
(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 H. Ono, K. Sano, M. Baaz) Maehara Lemma and Bi-implication in Goedel Logics
(with M. Baaz) Power of Quantifier Shifts
(with M. Baaz) Non-derivability of Skolem-function identity in Intermediate logics
(with M. Baaz) DeSkolemization Algorithm via Second Epsilon Theorem
Epsilon Calculus over Łukasiewicz Logic
Resolution Methods for Henkin Quantifiers
A Survey on Chains in MV-logics
Characterization of Quantified Propositional Goedel Logics with QE
Books in Preparation
(with M. Baaz, N. Preining) Book on Goedel logics
(with M. Baaz, A. Lolić) Proof Theory of Quantified S5
Review Contributions for the Conferences
AIML
IJCAR