top

Hybrid Tableaux for the Difference Modality

M. Kaminski and G. Smolka. Hybrid Tableaux for the Difference Modality. In Methods for Modalities 5, Cachan, France, 2007.

Download: [pdf] 

Abstract:

We present the first tableau-based decision procedure for basic hybrid logic with the difference modality. The decision procedure is gracefully degrading in that the less expressive constructs don't pay for the computationally expensive difference modality. The procedure can be specialized to reflexive and transitive frames. Key features of our approach are nominal elimination, pattern-based blocking, and expansion control.

BibTeX: (download)

@INPROCEEDINGS{KaminskiSmolka07difference,
  author = {M. Kaminski and G. Smolka},
  title = {Hybrid Tableaux for the Difference Modality},
  booktitle = {Methods for Modalities 5},
  year = {2007},
  editor = {S. Demri and C. Areces},
  address = {Cachan, France},
  abstract = {We present the first tableau-based decision procedure for basic hybrid
	logic with the difference modality. The decision procedure is gracefully
	degrading in that the less expressive constructs don't pay for the
	computationally expensive difference modality. The procedure can
	be specialized to reflexive and transitive frames. Key features of
	our approach are nominal elimination, pattern-based blocking, and
	expansion control.}
}

Generated by bib2html.pl (written by Patrick Riley ) on Mon Aug 10, 2009 14:52:33