Model checking games are instances of Hintikka’s game semantics for logic used for purposes of debugging systems verification models. Previous work in the area has developed the...
ABSTRACT. 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 ...
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...
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld...
We add assignment operators to languages for epistemic actions, so that change of knowledge and change of facts can be combined in specifications of multi-agent system dynamics. ...
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld...