Over the last years, the study of logics that can update a model while evaluating a formula has gained in interest. Motivated by many examples in practice such as hybrid logics, separation logics and dynamic epistemic ...

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 formula. These languages are equipped ...

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 different propositional symbol and ...

We investigate dynamic modal operators that can change the model during evaluation. We define the logic SL by extending the basic modal language with the ♦ modality, which is a diamond operator that in addition has the ...

The analysis of the classical limit of quantum mechanics usually focuses on the state of the system. The general idea is to explain the disappearance of the interference terms of quantum states appealing to the decoherence ...

We propose a logic with the dynamic modal operators copy and remove. The copy operator replicates a given model, and the remove operator removes paths in a given model. We show that the product update by an action model ...

In order to properly model norm change in the law, temporal aspects of legal dynamics must be considered. Since there exist several time-based features of law that should be studied, we discuss two interesting approaches: ...

We investigate dynamic modal operators that can changethe model during evaluation. We define the logicSLby extending thebasic modal language with the♦modality, which is a diamond operatorthat in addition has the ...

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 modalities that are able to delete, add or ...