no code implementations • 10 Oct 2017 • 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 to be the case that ... if it is the case that ...").
no code implementations • 27 Jul 2017 • 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 -- $[\phi]^+_A$ and $[\phi]^-_A$ indexed to a subset $A$ of the set $Ag$ of all agents -- for global and local announcements respectively.
no code implementations • 24 Jun 2016 • 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.
no code implementations • 3 Mar 2015 • Hans van Ditmarsch, Joseph Y. Halpern, Wiebe van der Hoek, Barteld Kooi
This chapter provides an introduction to some basic concepts of epistemic logic, basic formal languages, their semantics, and proof systems.
no code implementations • 16 Jan 2014 • Wiebe van der Hoek, Dirk Walther, Michael Wooldridge
The logical foundation of DCL-PC is CL-PC, a logic for reasoning about cooperation in which the abilities of agents and coalitions of agents stem from a distribution of atomic Boolean variables to individual agents -- the choices available to a coalition correspond to assignments to the variables the coalition controls.