@conference {96, title = {Tableaux for Relation-Changing Modal Logics}, booktitle = {Frontiers of Combining Systems}, year = {2013}, abstract = {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 satis ability procedures for these logics.}, author = {Carlos Areces and Fervari, Raul and Hoffmann, G.}, editor = {Pascal Fontaine and Christophe Ringeissen and Renate A. Schmidt} }