Current browse context:
cs.LO
Change to browse by:
References & Citations
Computer Science > Logic in Computer Science
Title: A Simplicial Model for $KB4_n$: Epistemic Logic with Agents that May Die
(Submitted on 23 Aug 2021 (v1), last revised 9 Nov 2022 (this version, v3))
Abstract: The standard semantics of multi-agent epistemic logic S5 is based on Kripke models whose accessibility relations are reflexive, symmetric and transitive. This one dimensional structure contains implicit higher-dimensional information beyond pairwise interactions, that we formalized as pure simplicial models in a previous work (Information and Computation, 2021). Here we extend the theory to encompass simplicial models that are not necessarily pure. The corresponding class of Kripke models are those where the accessibility relation is symmetric and transitive, but might not be reflexive. Such models correspond to the epistemic logic KB4 . Impure simplicial models arise in situations where two possible worlds may not have the same set of agents. We illustrate it with distributed computing examples of synchronous systems where processes may crash.
Submission history
From: Jérémy Ledent [view email][v1] Mon, 23 Aug 2021 17:10:13 GMT (499kb,D)
[v2] Tue, 18 Jan 2022 18:59:20 GMT (356kb,D)
[v3] Wed, 9 Nov 2022 14:20:58 GMT (356kb,D)
Link back to: arXiv, form interface, contact.