Alexandra Pavlova

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 5

Top Topics

Epistemic Logic

Top Venues

Logica Universalis

Publications

Christian G. Fermüller, Timo Lang, Alexandra Pavlova
From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic. Logica Universalis 16 (1-2) (2022)
Alexandra Pavlova, Robert Freiman, Timo Lang
From Semantic Games to Provability: The Case of Gödel Logic. Stud Logica 110 (2) (2022)
Alexandra Pavlova
Public Announcements for Intuitionistic Epistemic Logic IEL. FCR@KI (2022)
Alexandra Pavlova
Provability Games for Non-classical Logics. WoLLIC (2021)
Christian G. Fermüller, Timo Lang, Alexandra Pavlova
From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic. IPMU (1) (2020)