Simplicial Belief
Logic in Computer Science
2026-01-13 v1
Abstract
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, it has been open how to model belief in simplicial models. We introduce polychromatic simplicial complexes, which naturally impose a plausibility relation on states. From this, we can define various notions of belief.
Cite
@article{arxiv.2601.07669,
title = {Simplicial Belief},
author = {Christian Cachin and David Lehnherr and Thomas Studer},
journal= {arXiv preprint arXiv:2601.07669},
year = {2026}
}