A Simplicial Model for KB4_n: Epistemic Logic with Agents That May Die.

ric Goubault, Jrmy Ledent, Sergio Rajsbaum

Browse the full STACS paper archive.