Provability Games for Non-classical Logics. - Alexandra Pavlova (WoLLIC, 2021)

Public Announcements for Intuitionistic Epistemic Logic IEL. - Alexandra Pavlova (FCR@KI, 2022)

From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic. - Christian G. Fermüller; Timo Lang; Alexandra Pavlova (Logica Universalis, 2022)

From Semantic Games to Provability: The Case of Gödel Logic. - Alexandra Pavlova; Robert Freiman; Timo Lang (Stud Logica, 2022)