1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2024
Bisimulation for Impure Simplicial Complexes
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…
cs.DC2023★ 1 cited
On Two- and Three-valued Semantics for Impure Simplicial Complexes
Hans van Ditmarsch, Roman Kuznets, Rojo Randrianomentsoa
Simplicial complexes are a convenient semantic primitive to reason about processes (agents) communicating with each other in synchronous and asynchronous computation. Impure simpli…