Alexandra Pavlova

  • University Assistant, MA
  • TU Wien
  • Institute for Logic and Computation, Theory and Logic Group
  • Favoritenstraße 9–11
  • 1040 Wien
  • Austria

  • Room: HF 04 23
  • Email: alexandra [at]

Research Interests

  • Proof Theory and Logical Games for non-classical logics, Epistemic Logics, Agency Logics. Moreover, I am interested in philosophy.

Current Position


  • MA in Logic (Paris I Panthéon-Sorbonne, Paris), programme LOPHISC (logic and philosophy of science), 2017
  • Master 1 in Philosophy, Le Collège universitaire français (CUF) de l’université d’Etat de Saint-Pétersbourg et L’Université Paris 8 Saint-Denis, 2016
  • MA in Linguistics (Saint Petersburg State University, faculty Philology, Russia), 2015
  • Diploma with distinction in Philosophy with specialisation in Logic (Saint Petersburg State University, faculty of philosophy, Russia), 2013

Awards and Scholarships

  • Nominee for the 2nd World Logic Prize, 2022
  • Vasiliev Logic Prize, Russia, 2021
  • French Government Personal Scholarship for master studies, 2016-2017
  • Helsinki University Semester Scholarship, 2011

Selected Publications

  1. Alexandra Pavlova (2019): Game-theoretical interpretation of abelian logic A, Logical Investigations 25 (2), pp. 75-93. DOI:
  2. Chris Fermüller, Timo Lang and Alexandra Pavlova: From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic; in: "IPMU 2020: Information Processing and Management of Uncertainty in Knowledge-Based Systems I", 978-3-030-50146-4; Springer, 2020, 257 - 270. DOI: 10.1007/978-3-030-50146-4_20
  3. Alexandra Pavlova: Dialogue Games for Minimal LogicLogic and Logical Philosophy [Online], Volume 30 Number 2, p. 281-309, 2021. DOI: 10.12775/LLP.2020.022
  4. Pavlova A. (2021) Provability Games for Non-classical Logics. In: Silva A., Wassermann R., de Queiroz R. (eds) Logic, Language, Information, and Computation. WoLLIC 2021. Lecture Notes in Computer Science, vol 13038. Springer, Cham. DOI:
  5. Alexandra Pavlova, Robert Freiman, Timo Lang (2022) From Semantic Games to Provability: The Case of Gödel Logic in Studia Logica 110 (2): 429-456. 
  6. Alexandra M. Pavlova: Public Announcement and Intuitionistic Epistemic Logic in CEUR Workshop Proceedings series. 

Event Organisation

  • Main Chair (together with Mina Young Pedersen) of the ESSLLI 2021 Student Session, July 26 — August 13 2021, online.
  • Main Chair of the Student Session (at the joint ESSLLI & WeSSLLI 2020 Student Session), July 2020, online.
  • Co-chair of the Logic & Computation track of ESSLLI 2019 Student Session. Riga, Latvia. August 5-16 2019
  • Secretary of the organising committee for the conference "Logical Aspects of Rational Agency" (LARA-2014). Saint Petersburg, Russia. 2014