3 papers
cs.LO2026
Simplicial Belief
Christian Cachin, David Lehnherr, Thomas Studer
Recently, much work has been carried out to study simplicial interpretations of modal logic. While notions of (distributed) knowledge have been well investigated in this context, i…
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.LO2024
Synergistic Knowledge
Christian Cachin, David Lehnherr, Thomas Studer
In formal epistemology, group knowledge is often modelled as the knowledge that the group would have, if the agents shared all their individual knowledge. However, this interpretat…