top

Termination for Hybrid Tableaus

T. Bolander and P. Blackburn. Termination for Hybrid Tableaus. Journal of Logic and Computation, 17(3):517–554, Oxford University Press, 2007.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@ARTICLE{BolanderBlackburn2007term,
  author = {T. Bolander and P. Blackburn},
  title = {Termination for Hybrid Tableaus},
  journal = {Journal of Logic and Computation},
  year = {2007},
  volume = {17},
  pages = {517-554},
  number = {3},
  keywords = {Hybrid logic, modal logic, tableau systems, decisionprocedures, loop-checks.},
  publisher = {Oxford University Press}
}

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