@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}
}