A Simplicial Model for $KB4_n$: Epistemic Logic with Agents that May Die

Open in new window