1 paper
Marta BÃlková, Hans van Ditmarsch, Roman Kuznets +1
As an alternative to Kripke models, simplicial complexes are a versatile semantic primitive on which to interpret epistemic logic. Given a set of vertices, a simplicial complex is…