Name Card

Full name Familienname, Vorname
Pavlova, Alexandra
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-8 of 8 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
12022-Public Announcements for Intuitionistic Epistemic Logic IEL-vor.pdf.jpgPavlova, Alexandra Public Announcements for Intuitionistic Epistemic LogicInproceedings Konferenzbeitrag 17-Oct-2022
2Fermueller-2022-Logica Universalis-vor.pdf.jpgFermüller, Christian ; Lang, Timo Achim ; Pavlova, Alexandra From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel LogicArticle Artikel Jun-2022
3Pavlova, Alexandra Game Approach to Logical Validity: A Case of Mezhirov's Provability GamePräsentation Presentation2021
4Pavlova, Alexandra ; Freiman, Robert ; Lang, Timo From Semantic Games to Provability: The Case of Gödel LogicArtikel Article 2021
5Pavlova, Alexandra Dialogue Games for Minimal LogicArtikel Article 2021
6Pavlova, Alexandra Provability Games for Non-classical Logics : Mezhirov Game for $$\mathbf {MPC}$$, $$\mathbf {KD!}$$, and $$\mathbf {KD}$$Konferenzbeitrag Inproceedings 2021
7Pavlova, Alexandra Public Announcement for Intuitionistic Epistemic LogicPräsentation Presentation2021
8Fermüller, Christian ; Lang, Timo ; Pavlova, Alexandra From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel LogicKonferenzbeitrag Inproceedings 2020