89 citations · 286 across the 44 of their papers we have counts for
3 papers · 1 filter
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…
The Undecidability of Quantified Announcements
Thomas Ågotnes, Hans van Ditmarsch, Tim French
This paper demonstrates the undecidability of a number of logics with quantification over public announcements: arbitrary public announcement logic (APAL), group announcement logic…
A Logic for Repair and State Recovery in Byzantine Fault-tolerant Multi-agent Systems
Hans van Ditmarsch, Krisztina Fruzsa, Roman Kuznets +1
We provide an epistemic logical language and semantics for the modeling and analysis of byzantine fault-tolerant multi-agent systems. This not only facilitates reasoning about the…