A Simplicial Model for $KB4_n$: Epistemic Logic with Agents that May Die
From MaRDI portal
Publication:6375857
DOI10.4230/LIPIcs.STACS.2022.33arXiv2108.10293MaRDI QIDQ6375857
Eric Goubault, Sergio Rajsbaum, Jérémy Ledent
Publication date: 23 August 2021
Related Items (1)
This page was built for publication: A Simplicial Model for $KB4_n$: Epistemic Logic with Agents that May Die