- 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] logic.at
Research Interests
- Proof Theory and Logical Games for non-classical logics, Epistemic Logics, Agency Logics. Moreover, I am interested in philosophy.
Current Position
- I am a PhD student in the Doctoral College Logical Methods in Computer Science, where I am part of the Theory and Logic Group. I have started my PhD in November 2018 under the supervision of Chris Fermüller.
Education
- 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
- Alexandra Pavlova (2019): Game-theoretical interpretation of abelian logic A, Logical Investigations 25 (2), pp. 75-93. DOI: https://doi.org/10.21146/2074-1472-2019-25-2-75-93.
- 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
- Alexandra Pavlova: Dialogue Games for Minimal Logic. Logic and Logical Philosophy [Online], Volume 30 Number 2, p. 281-309, 2021. DOI: 10.12775/LLP.2020.022
- 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: https://doi.org/10.1007/978-3-030-88853-4_25
- 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.
- 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