Anela Lolic

  • PhD student at TU Wien funded by a DOC fellowship
  • Wiedner Hauptstraße 8–10
  • 1040 Wien
  • Austria

  • Email: anela [at]

Research Interests

  • (Structural) Proof Theory, Automated Deduction

Current Position


  • MSc in Computational Intelligence (TU Wien), master thesis: Herbrand sequents and the Skolem-free CERES method, October 2015
  • BSc in Computer Science (JKU Linz)


  1. Matthias Baaz, Anela Lolic. A Globally Sound Analytic Calculus for Henkin Quantifiers. To appear in LFCS 2020: 128-143, 2020.
  2. Matthias Baaz, Anela Lolic. Note on Globally Sound Analytic Calculi for Quantifier Macros. WoLLIC 2019: 486-497, 2019.
  3. Alexander Leitsch, Anela Lolic. Extraction of Expansion Trees. Journal of Automated Reasoning 62(3): 393-430, 2019.
  4. Matthias Baaz, Anela Lolic. Lyndon Interpolation holds for the Prenex ⊃ Prenex Fragment of Gödel Logic. LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, volume 57 of EPiC Series in Computing, pages 95–110. EasyChair, 2018.
  5. Matthias Baaz, Alexander Leitsch, Anela Lolic. A Sequent-Calculus Based Formulation of the Extended First Epsilon Theorem. LFCS 2018. Pages 55-71. Springer, Cham, 2018.
  6. Matthias Baaz, Anela Lolic. First-Order Interpolation of Non-classical Logics Derived from Propositional Interpolation. Frontiers of Combining Systems. FroCoS 2017. Lecture Notes in Computer Science, vol 10483, pages 265-280. Springer, 2017.