4 papers
Simplicial Actions for Distributed Protocols
Philip Sink
This paper captures and extends some of the core results from the tech memo "A New Semantics for Belief Revision in Simplicial Complexes". As such, we set out to explore the implem…
Simplicial Semantics for Belief Revision
Philip Sink
This paper will give a definition of belief revision within simplicial semantics. Starting from the work presented in "A Semantics for Belief in Simplicial Complexes" as a baseline…
A Semantics for Belief in Simplicial Complexes
Adam Bjorndahl, Philip Sink
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…
A Note on Proper Relational Structures
Adam Bjorndahl, Philip Sink
In this note we provide an algorithm for translating relational structures into "proper" relational structures, i.e., those such that there is no pair of worlds w and u such that w…