Alexandra Pavlova

According to our database, Alexandra Pavlova authored at least 4 papers between 2020 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

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

2020

From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic.

Christian G. Fermüller, Timo Lang, Alexandra Pavlova

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2020