Matemáticas
Fachbereich
University of Amsterdam
Ámsterdam, HolandaPublikationen in Zusammenarbeit mit Forschern von University of Amsterdam (2)
2022
-
Topological Evidence Logics: Multi-agent Setting
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2019
-
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)