3 citations · 4 across the 3 of their papers we have counts for
3 papers
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…
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…
Impure Simplicial Complexes: Complete Axiomatization
Rojo Randrianomentsoa, Hans van Ditmarsch, Roman Kuznets
Combinatorial topology is used in distributed computing to model concurrency and asynchrony. The basic structure in combinatorial topology is the simplicial complex, a collection o…