A Semantics for Belief in Simplicial Complexes

We provide novel semantics for belief using simplicial complexes.In our framework, belief is a KD45 modality that satisfies "knowledge implies belief" ("If you know phi, then you believe phi"); in addition, we adopt the (standard) assumption that each facet in our simplicial models contains exactly one vertex for each agent.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 establish a truth-preserving correspondence between our simplicial framework and standard relational models for knowledge and belief; this involves, notably, proving that all relational models can be simulated using proper relational models, a result of independent interest.Finally, we apply these results to provide a simple axiomatization.