Alexandra Pavlova

According to our database, Alexandra Pavlova authored at least 4 papers between 2021 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

From Semantic Games to Provability: The Case of Gödel Logic.

Alexandra Pavlova, Robert Freiman, Timo Lang

Stud Logica, 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

Public Announcements for Intuitionistic Epistemic Logic IEL.

Alexandra Pavlova

Proceedings of the 8th Workshop on Formal and Cognitive Reasoning co-located with the 45th German Conference on Artificial Intelligence (KI 2022), 2022

2021

Provability Games for Non-classical Logics.

Alexandra Pavlova

Proceedings of the Logic, Language, Information, and Computation, 2021