top

Hydra: a tableaux-based prover for basic hybrid logic

P. Blackburn, A. Burchard, and S. Walter. Hydra: a tableaux-based prover for basic hybrid logic. In Proceedings of Methods for Modalities 2, Amsterdam, The Netherlands, November 2001.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@INPROCEEDINGS{blackburn01:_hydra,
  author = {P. Blackburn and A. Burchard and S. Walter},
  title = {Hydra: a tableaux-based prover for basic hybrid logic},
  booktitle = {Proceedings of Methods for Modalities 2},
  year = {2001},
  address = {Amsterdam, The Netherlands},
  month = {November},
}

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