{"id":"arxiv/2608.16881","url":"https://arxiv.org/abs/2608.16881","tags":["cs.LO","math.LO"],"score":0,"title":"Simplicial Actions for Distributed Protocols","domain":"cs.LO","source":"arxiv","authors":["Philip Sink"],"reviews":0,"subject":"cs.LO","summary":"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 implementation of action models in the setting of simplicial semantics for modal logic. Such an idea is not entirely new to the literature, showing up in both \"A simplicial complex model for dynamic epistemic logic to study distributed task computability\" and \"Knowledge and Simplicial Complexes\". However, we will explore action models in a more general setting. In particular, we will allow for action models for…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-08-17","reactions":{}}