Publications in collaboration with researchers from University of Amsterdam (2)

2022

  1. Topological Evidence Logics: Multi-agent Setting

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2019

  1. The McKinsey-Tarski Theorem for Topological Evidence Logics

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)