Éric Goubault, Jérémy Ledent, Sergio Rajsbaum. A Simplicial Model for KB4_n: Epistemic Logic with Agents That May Die. In Petra Berenbrink, Benjamin Monmege, editors, 39th International Symposium on Theoretical Aspects of Computer Science, STACS 2022, March 15-18, 2022, Marseille, France (Virtual Conference). Volume 219 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]
@inproceedings{GoubaultLR22,
title = {A Simplicial Model for KB4_n: Epistemic Logic with Agents That May Die},
author = {Éric Goubault and Jérémy Ledent and Sergio Rajsbaum},
year = {2022},
doi = {10.4230/LIPIcs.STACS.2022.33},
url = {https://doi.org/10.4230/LIPIcs.STACS.2022.33},
researchr = {https://researchr.org/publication/GoubaultLR22},
cites = {0},
citedby = {0},
booktitle = {39th International Symposium on Theoretical Aspects of Computer Science, STACS 2022, March 15-18, 2022, Marseille, France (Virtual Conference)},
editor = {Petra Berenbrink and Benjamin Monmege},
volume = {219},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-222-8},
}