Tableaux for Relation-Changing Modal Logics

C. Areces, R. Fervari, and G. Hoffmann. Tableaux for Relation-Changing Modal Logics. In Proceedings of Frontiers of Combining Systems 2013, Nancy, France, 2013.

Download

[pdf] 

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.

BibTeX

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