top

Tableaux for Quantified Hybrid Logic

P. Blackburn and M. Marx. Tableaux for Quantified Hybrid Logic. In Automated Reasoning with Analytic Tableaux and Related Method, pp. 38–52, Springer Verlag, 2002.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@INPROCEEDINGS{blackburn02:_tableaux_quant_hybrid_logic,
  author = {P. Blackburn and M. Marx},
  title = {Tableaux for Quantified Hybrid Logic},
  booktitle = {Automated Reasoning with Analytic Tableaux and Related Method},
  year = {2002},
  editor = {U. Egly and C. Ferm\"uller},
  number = {2381},
  series = {LNAI},
  pages = {38--52},
  publisher = {Springer Verlag},
}

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