{"id":"arxiv/2604.02673","url":"https://arxiv.org/abs/2604.02673","tags":["cs.LO","math.LO"],"score":0,"title":"A Logic of Secrecy on Simplicial Models","domain":"cs.LO","source":"arxiv","authors":["Shanxia Wang"],"reviews":0,"subject":"cs.LO","summary":"We develop a logic of secrecy on simplicial models for multi-agent systems. Standard simplicial models provide a geometric semantics for knowledge by representing global states as facets of a chromatic simplicial complex and agents' local states as coloured vertices. However, secrecy cannot in general be captured as a genuinely new modality by relying on the ordinary simplicial knowledge structure alone. This motivates the introduction of an additional secrecy layer. To this end, we define \\emph{simplicial secrecy models}, which enrich standard simplicial epistemic models with agent-relative…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-04-03","reactions":{}}