HTab: A Terminating Tableaux System for Hybrid Logic

Hoffmann, G. and Areces, C.. HTab: A Terminating Tableaux System for Hybrid Logic. Electronic Notes in Theoretical Computer Science, 231:3–19, Elsevier, March 2009. Proceedings of Methods for Modalities 5

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@ARTICLE{Hoffmann2007,
  author = {Hoffmann, G. and Areces, C.},
  title = {HTab: A Terminating Tableaux System for Hybrid Logic},
  journal = {Electronic Notes in Theoretical Computer Science},
  year = {2009},
  volume = {231},
  pages = {3--19},
  month = {March},
  note = {Proceedings of Methods for Modalities 5},
  editor = {C. Areces and S. Demri},
  owner = {areces},
  publisher = {Elsevier},
  timestamp = {2007.10.25}
}

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