We study dynamic modal operators that can change the accessibility relation of a model
during the evaluation of a formula. In particular, we extend the basic modal language with …

Relation-changing modal logics (RC for short) are extensions of the basic modal logic with
dynamic operators that modify the accessibility relation of a model during the evaluation of a …

In this article, we start with a two-player game that models communication under adverse
circumstances in everyday life and study it from the perspective of a modal logic of graphs …

This work studies positive and negative introspection not as 'static'properties an agent might
or might not have, but rather as epistemic actions that change the agent's knowledge. The …

Relation-changing modal logics are extensions of the basic modal logic that allow changes
to the accessibility relation of a model during the evaluation of a formula. In particular, they …

Relation-changing modal logics are extensions of the basic modal logic that allow to change
the accessibility relation of a model during the evaluation of a formula. In particular, they are …

We generalize the language of substructural logics interpreted over the ternary relational
semantics. This is motivated by our intention to capture within the logical framework of …

In this survey we review dynamic epistemic logics with modalities for quantification over
information change. Of such logics we present complete axiomatizations, focussing on …

This work studies positive and negative introspection not as properties, but rather as actions
that change the agent's knowledge. The actions are introduced as model update operations …

We show that dynamic epistemic logic (DEL) is a substructural logic and that it is an
extension of the update logic introduced in the companion article [12]. We identify axioms …