@inproceedings{28382e5fcc8248dca3770862f70606a5,
title = "A Simplicial Model for KB4n: Epistemic Logic with Agents That May Die",
abstract = "The standard semantics of multi-agent epistemic logic S5n 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 in Information and Computation 2021 [10]. 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 KB4n. 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.",
keywords = "Distributed computing, Epistemic logic, Simplicial complexes",
author = "{\'E}ric Goubault and J{\'e}r{\'e}my Ledent and Sergio Rajsbaum",
note = "Publisher Copyright: {\textcopyright} {\'E}ric Goubault, J{\'e}r{\'e}my Ledent, and Sergio Rajsbaum.; 39th International Symposium on Theoretical Aspects of Computer Science, STACS 2022 ; Conference date: 15-05-2022 Through 18-05-2022",
year = "2022",
month = mar,
day = "1",
doi = "10.4230/LIPIcs.STACS.2022.33",
language = "English",
series = "Leibniz International Proceedings in Informatics, LIPIcs",
publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",
editor = "Petra Berenbrink and Benjamin Monmege",
booktitle = "39th International Symposium on Theoretical Aspects of Computer Science, STACS 2022",
}