Abstract Action models of Dynamic Epistemic Logic (DEL) represent precisely how actions
are perceived by agents. DEL has recently been used to define infinite multi-player games …

In Part I, we introduce logics for specifying epistemic protocols including their goals and their
dynamics. Chapter 3 departures from the existing discussions about protocols in the field of …

We introduce and formally study games in which the goals of players relate to the epistemic
states of players in the game. For example, one player might have a goal that another player …

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 …

We show that dynamic epistemic logic (DEL) is a substructural logic and that it is an
extension of the update logic introduced in the companion article [12]. We identify axioms …

This paper takes a dynamical systems perspective on the semantic structures of dynamic
epistemic logic (DEL) and asks the question which orbits DEL-based dynamical systems …

The talk presents an extension of DEL (dynamic epistemic logic) intended for model
checking of cryptographic protocols. Key elements are a feasible epistemic representation of …

Dynamic epistemic logics provide an account of the evolution of agents' belief and
knowledge when they learn the occurrence of an event. These logics started to become …

We propose a framework for message passing that combines the best properties of dynamic
epistemic semantics and history-based approaches. We assume that all communication is …

With the fast growth of population in the city, the traffic congestion as, well as the parking
problem, becomes over and over a problem to deal with, since they reduce road safety and …