Belief in Simplicial Complexes

We provide a novel semantics for belief using simplicial complexes. In our framework, belief satisfies the \textsf{KD45} axioms and rules as well as the ``knowledge implies belief'' axiom ($Kφ\lthen Bφ$); in addition, we adopt the (standard) assumption that each facet in our simplicial models has exactly one vertex of every color. No existing model of belief in simplicial complexes that we are aware of is able to satisfy all of these conditions without trivializing belief to coincide with knowledge. We also address the common technical assumption of ``properness'' for relational structures made in the simplicial semantics literature, namely, that no two worlds fall into the same knowledge cell for all agents; we argue that there are conceptually sensible belief frames in which this assumption is violated, and use the result of ``A Note on Proper Relational Structures'' to bypass this restriction. We conclude with a discussion of how an alternative ``simplicial sets'' framework could allow us to bypass properness altogether and perhaps provide a more streamlined simplicial framework for representing belief.