Tableaux for Relation-Changing Modal Logics

Areces, C., Fervari, R., and Hoffmann, G.. Tableaux for Relation-Changing Modal Logics. In Proceedings of Frontiers of Combining Systems 2013, Nancy, France, September 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: (download)

@INPROCEEDINGS{arec:tabl13,
  author = {Areces, C. and Fervari, R. and Hoffmann, G.},
  title = {Tableaux for Relation-Changing Modal Logics},
  booktitle = {Proceedings of Frontiers of Combining Systems 2013},
  year = {2013},
  address = {Nancy, France},
  month = {September},
  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}
}

Generated by bib2html.pl (written by Patrick Riley) on Sun Oct 02, 2016 17:05:49