18 citations · 39 across the 4 of their papers we have counts for
4 papers
Communication Pattern Logic: Epistemic and Topological Views
Armando Castañeda, Hans van Ditmarsch, David A. Rosenblueth +1
We propose communication pattern logic. A communication pattern describes how processes or agents inform each other, independently of the information content. The full-information…
Everyone Knows that Everyone Knows: Gossip Protocols for Super Experts
Hans van Ditmarsch, Malvin Gattinger, Rahim Ramezanian
A gossip protocol is a procedure for sharing secrets in a network. The basic action in a gossip protocol is a pairwise message exchange (telephone call) wherein the calling agents…
Positive Announcements
Hans van Ditmarsch, Tim French, James Hales
Arbitrary public announcement logic (APAL) reasons about how the knowledge of a set of agents changes after true public announcements and after arbitrary announcements of true epis…
Announcement as effort on topological spaces
Hans van Ditmarsch, Sophia Knight, Aybüke Özgün
We propose a multi-agent logic of knowledge, public and arbitrary announcements, that is interpreted on topological spaces in the style of subset space semantics. The arbitrary ann…