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...

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...

Adding bem (lit. ‘well’) to a modalized proposition, as in it is quite possible that he already left, increases the degree of conviction being conveyed. Apparently, this epistemic reinforcement results from presence corresponds expression higher belief than what expressed without bem. Concretely, while é possível que p (‘it p’) indicates possibility, will indicate good possibility. If so, meani...

Issues of formalisirig and interpreting epistemic uncertainty have always played a prominent role in Artificial Intelligence. The Dempster-Shafer (DS) theory of partial beliefs is one of the most-well known formalisms to address the partial knowledge. Similarly to the DS theory, which is a généralisation of the classical probability theory, fuzzy logie provides an alternative reasoning apparatu...