We consider dynamic modal operators that can change the relation of a model during the evaluation of a formula. In this paper, we extend the basic modal language with modalities that are able to delete, add or swap pairs of related elements of the domain; and explore tableau calculi as satisfiability procedures for these logics.
展开▼