Matemáticas
Departamento
University of Amsterdam
Ámsterdam, HolandaPublicaciones en colaboración con investigadores/as de 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)