2 papers
cs.LO2025
Hypergraph Semantics for Doxastic Logics
Hans van Ditmarsch, Djanira Gomes, David Lehnherr +2
Simplicial models have become a crucial tool for studying distributed computing. These models, however, are only able to account for the knowledge, but not for the beliefs of agent…
cs.AI2025
Virtual Group Knowledge and Group Belief in Topological Evidence Models (Extended Version)
Alexandru Baltag, Malvin Gattinger, Djanira Gomes
We study notions of (virtual) group knowledge and group belief within multi-agent evidence models, obtained by extending the topological semantics of evidence-based belief and fall…