Anela Lolic

26 papers A 1B 3C 3Misc 3Journal 10Unranked 5
YearRankTypeTitle / Venue / Authors
2026 — book
First-Order Schemata and Inductive Proof Analysis, 1
Alexander Leitsch, David Michael Cerna, Anela Lolic
2025 — conf
An Analytic Representation of the Semantics of First-Order S5.
FroCoS
Matthias Baaz, Mariami Gamsakhurdia, Anela Lolic
2025 C conf
Efficient Interpolation Beyond Cut-Free Proofs: Admissible Cuts and Optimized Extraction.
ICTAC
Simon Corbard, Anela Lolic
2025 J jnl
Extracting Herbrand systems from refutation schemata.
J. Log. Comput.
Alexander Leitsch, Anela Lolic
2025 J jnl
Skolemization and Decidability of the Bernays-Schoenfinkel Class in Goedel Logics.
CoRR
Mariami Gamsakhurdia, Matthias Baaz, Anela Lolic
2024 B conf
Herbrand's Theorem in Inductive Proofs.
LPAR
Alexander Leitsch, Anela Lolic
2024 — conf
On Proof Schemata and Primitive Recursive Arithmetic.
LPAR Complementary Volume
Alexander Leitsch, Anela Lolic, Stella Mahler
2024 B conf
On Translations of Epsilon Proofs to LK.
LPAR
Matthias Baaz, Anela Lolic
2024 J jnl
Sequent Calculi for Choice Logics.
J. Autom. Reason.
Michael Bernreiter, Anela Lolic, Jan Maly, Stefan Woltran
2024 — conf
Towards an Analysis of Proofs in Arithmetic.
LSFA
Alexander Leitsch, Anela Lolic, Stella Mahler
2023 C conf
Effective Skolemization.
WoLLIC
Matthias Baaz, Anela Lolic
2022 Misc conf
Andrews Skolemization May Shorten Resolution Proofs Non-elementarily.
LFCS
Matthias Baaz, Anela Lolic
2022 A conf
Sequent Calculi for Choice Logics.
IJCAR
Michael Bernreiter, Anela Lolic, Jan Maly, Stefan Woltran
2022 J jnl
Towards a proof theory for quantifier macros.
Inf. Comput.
Matthias Baaz, Anela Lolic
2021 J jnl
Schematic Refutations of Formula Schemata.
J. Autom. Reason.
David M. Cerna, Alexander Leitsch, Anela Lolic
2021 J jnl
Towards a proof theory for Henkin quantifiers.
J. Log. Comput.
Matthias Baaz, Anela Lolic
2020 Misc conf
A Globally Sound Analytic Calculus for Henkin Quantifiers.
LFCS
Matthias Baaz, Anela Lolic
2020 J jnl
An abstract form of the first epsilon theorem.
J. Log. Comput.
Matthias Baaz, Alexander Leitsch, Anela Lolic
2020 J jnl
First-order interpolation derived from propositional interpolation.
Theor. Comput. Sci.
Matthias Baaz, Anela Lolic
2020 — conf
On the Unification of Term Schemata.
UNIF
David M. Cerna, Alexander Leitsch, Anela Lolic
2019 J jnl
Extraction of Expansion Trees.
J. Autom. Reason.
Alexander Leitsch, Anela Lolic
2019 C conf
Note on Globally Sound Analytic Calculi for Quantifier Macros.
WoLLIC
Matthias Baaz, Anela Lolic
2019 J jnl
Schematic Refutations of Formula Schemata.
CoRR
David M. Cerna, Alexander Leitsch, Anela Lolic
2018 Misc conf
A Sequent-Calculus Based Formulation of the Extended First Epsilon Theorem.
LFCS
Matthias Baaz, Alexander Leitsch, Anela Lolic
2018 B conf
Lyndon Interpolation holds for the Prenex ⊃ Prenex Fragment of Gödel Logic.
LPAR
Matthias Baaz, Anela Lolic
2017 — conf
First-Order Interpolation of Non-classical Logics Derived from Propositional Interpolation.
FroCoS
Matthias Baaz, Anela Lolic