Picture for Jérémy Ledent

Jérémy Ledent

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

Add code
Aug 23, 2021
Figure 1 for A Simplicial Model for $KB4_n$: Epistemic Logic with Agents that May Die
Figure 2 for A Simplicial Model for $KB4_n$: Epistemic Logic with Agents that May Die
Figure 3 for A Simplicial Model for $KB4_n$: Epistemic Logic with Agents that May Die
Viaarxiv icon