In this paper we study the relation between two approaches to information change: Dynamic Epistemic Logic and Belief Revision. One of the main differences between these approaches is that higher-order information plays an important role in the field of Dynamic Epistemic Logic, whereas it does not feature in Belief Revision. In this paper we study to which extent public announcements (a particul...

Coalition Logic does not explicitly talk about the effects of a coalitional move on the strategic ability of the remaining players, while in Game Theory reasoning patterns involving this concept often occur. To fill this gap, we study an update operator for strategic ability update in coalition structures. Its formal connections with the update operators known from Dynamic Epistemic Logic will ...

In everyday life, people get lost even when they have the map: they simply may not know where they are in the map. However, when moving forward they may have new observations which can help to locate themselves by reasoning. In this paper, we propose and develop a semantic-driven dynamic epistemic framework to handle epistemic reasoning in such navigation scenarios. Our framework can be viewed ...

We propose an epistemic logic in which knowledge is fully introspective and implies truth, although truth need not imply epistemic possibility. The logic is presented in sequential format and is interpreted in a natural class of partial models, called balloon models. We examine the notions of honesty and circumscription in this logic: What is the state of an agent thatònly knows '' and which ho...

Dynamic Epistemic Logic (DEL) is the study of formal logics that reason about knowledge change. In DEL research, events that cause changes in knowledge are called updates. One class of updates—the BMS updates due to Baltag, Moss, and Solecki—has received much attention in the DEL literature because of the joint expressive power of the various BMS Logics based on these updates. There is, however...

We formulate a formal framework in which we combine the theory of dynamic epistemic logic and the theory of games. In particular, we show how we can use tools of dynamic epistemic logic to reason about information change – and in particular, the effect of communication acts – in such a game of imperfect information. We show how this framework allows for the formulation of specific assumptions i...

More than 60 years ago, psychologists identified a potential threat to democracy from within, namely the “antidemocratic personality” arising from the “authoritarian syndrome.” It was soon discovered that the problem of authoritarianism was especially acute among those who were low in education and income, and that it was associated with intolerance toward others. However, several important que...

A growing community investigates planning using dynamic epistemic logic. Another framework based on similar ideas is knowledgebased programs as plans. Here we show how actions correspond in the two frameworks. We finally discuss fragments of DEL planning obtained by the restriction of event models. Fragments are separated by virtue of their computational complexity.

In this paper, we provide a new axiomatization of the event-model-based Dynamic Epistemic Logic, based on the completeness proof method proposed in [Wang and Cao, 2013]. This axiomatization does not use any of the standard reduction axioms, but naturally captures the essence of the update product. We demonstrate the use of our new axiomatization and the corresponding proof techniques by three s...