Publisher Summary The discipline of knowledge representation focuses on the way to
represent and reason about environments with various different properties, usually with the …

We construct 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. We formalize …

In 'belief revision'a theory\cal K is revised with a formula φ resulting in a revised theory\cal K
∗ φ. Typically, ! φ is in\cal K, one has to give up belief in ! φ by a process of retraction, and φ …

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 …

In this paper, we present several extensions of epistemic logic with update operators
modelling public information change. Next to the well-known public announcement …

Publisher Summary Game-theoretic ideas have long played an influential rule in analyzing
various branches of logic. This chapter focuses on using modal logics to describe and …

Although the change of beliefs in the face of new information has been widely studied with
some success, the revision of other mental states has received little attention from the …

Epistemic logic investigates what agents know or believe about certain factual descriptions
of the world, and about each other. It builds on a model of what information is (statically) …

We consider the problem of updating of an agent's knowledge. We propose a formal method
of knowledge update on the basis of the semantics of modal logic S5. In our method, an …

In public announcement logic it is assumed that all agents pay attention to the
announcement. Weaker observational conditions can be modelled in action model logic. In …