Correspondence theory allows us to create sound and complete axiomatizat...
We provide an in-depth study of the knowledge-theoretic aspects of
commu...
In this contribution we present arbitrary arrow update model logic (AAUM...
The paper reports on some results concerning Aqvist's dyadic logic known...
In this paper we introduce global and local announcement logic (GLAL),
...
Gossip protocols aim at arriving, by means of point-to-point or group
co...
This chapter provides an introduction to some basic concepts of epistemi...
We present DCL-PC: a logic for reasoning about how the abilities of agen...