This paper presents a logical system in which various group-level epistemic actions are incorporated into the object language and contains the infinitary operators used in the standard modeling of common knowledge.
A logical setting is presented that incorporates a belief-revision mechanism within Dynamic-Epistemic logic, and it is shown how the update mechanism can “simulate”, in a uniform manner, many different belief- revision policies.
The construction of logical languages which allow one to represent a variety of possible types of changes affecting the information states of agents in a multi-agent setting by defining a notion of epistemic program, which is a Kripke model of ‘actions’, representing the agents' uncertainty about the current action in a similar way that Kripkel models are commonly used in epistemic logic.
This paper uses a logic that combines in a specific way a multi-agent epistemic logic with a dynamic logic of ``epistemic actions'' to describe changes in the information states of the players in a game.
In this paper, we develop a notion of doxastic actions, general enough to cover all examples of communication actions and most other belief-changing actions encountered in the literature, but also…
The “dynamic” nature of the concept of rationality explains why the condition avoids the apparent circularity of the “backward induction paradox”: it is consistent to (continue to) believe in a player’s rationality after updating with his irrationality.
A logic of conditional doxastic actions is presented, obtained by incorporating ideas from belief revision theory into the usual dynamic logic of epistemic actions by reformulating the setting of Action-Priority Update in terms of conditionalDoxastic models.
An extension of public announcement logic with a dynamic modal operator that expresses what is true after any announcement: ⋄φ expresses that there is a truthful announcement φ after which φ is true.
A dynamic logic formalism for reasoning about information flow in composite quantum systems, capable of expressing important features of quantum measurements and unitary evolutions of multi-partite states, as well as giving logical characterisations to various forms of entanglement.