@InCollection{Areces2013a,
  author =       "C. Areces and R. Fervari and G. Hoffmann",
  booktitle =    "Proceedings of Frontiers of Combining Systems 2013",
  title =        "Tableaux for Relation-Changing Modal Logics",
  year =         "2013",
  address =      "Nancy, France",
  abstract =     "We consider dynamic modal operators that can change
                 the 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 swap pairs of related elements of the domain. In
                 this paper, we explore tableau calculi as
                 satisfiability and model building procedures for these
                 logics.",
  owner =        "areces",
  timestamp =    "2013.06.24",
  ISBN =         "978-3-642-40884-7",
}