53 citations · 147 across the 9 of their papers we have counts for
9 papers
When Are Two Gossips the Same? Types of Communication in Epistemic Gossip Protocols
Krzysztof R. Apt, Davide Grossi, Wiebe van der Hoek
We provide an in-depth study of the knowledge-theoretic aspects of communication in so-called gossip protocols. Pairs of agents communicate by means of calls in order to spread inf…
Arrow Update Synthesis
Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi +1
In this contribution we present arbitrary arrow update model logic (AAUML). This is a dynamic epistemic logic or update logic. In update logics, static/basic modalities are interpr…
A Note on Nesting in Dyadic Deontic Logic
Agneau Belanyek, Davide Grossi, Wiebe van der Hoek
The paper reports on some results concerning Aqvist's dyadic logic known as system G, which is one of the most influential logics for reasoning with dyadic obligations ("it ought t…
A Logic for Global and Local Announcements
Francesco Belardinelli, Hans van Ditmarsch, Wiebe van der Hoek
In this paper we introduce {\em global and local announcement logic} (GLAL), a dynamic epistemic logic with two distinct announcement operators -- and indexed t…
The Undecidability of Arbitrary Arrow Update Logic
Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer
Arbitrary Arrow Update Logic is a dynamic modal logic that uses an arbitrary arrow update modality to quantify over all arrow updates. Some properties of this logic have already be…
Epistemic Protocols for Distributed Gossiping
Krzysztof R. Apt, Davide Grossi, Wiebe van der Hoek
Gossip protocols aim at arriving, by means of point-to-point or group communications, at a situation in which all the agents know each other's secrets. We consider distributed goss…