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 …

We investigate a modal logic of model change, introducing a new operator which allows for
changing the valuation at a particular state in a model. After investigating some properties of …

We introduce a modal separation logic MSL whose models are memory states from
separation logic and the logical connectives include modal operators as well as separating …

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

We introduce Sabotage Game Logic ($\mathsf {GL_s} $), a simple and natural extension of
Parikh's Game Logic with a single additional primitive, which allows players to lay traps for …

In this survey we review several dynamic epistemic logics with modalities representing
quantification over information change. Of such logics we present typical axioms involving …

In this thesis, we investigate the decidability and computational complexity of (deductive)
conservative extensions in expressive fragments of first-order logic, such as two-variable …

In the process of designing a computer system S and checking whether an abstract model ℳ
of S verifies a given specification property η, one might have only a partial knowledge of the …

In this article, we present a modal logic that extends the basic modal logic ML with two
dynamic operators: copy (cp), which replicates the current model, labelling each copy with a …

I consider the following generic scenario: an abstract model M of some'real'system is only
partially presented, or partially known to us, and we have to ensure that the actual system …