top

Tableau calculi for hybrid logics

M. Tzakova. Tableau calculi for hybrid logics. In Proceedings of the Conference on Tableaux Calculi and Related Methods (TABLEAUX), pp. 278–292, Springer Verlag, Saratoga Springs, USA, 1999.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@INPROCEEDINGS{tzakova99:_tableaux,
  author = {M. Tzakova},
  title = {Tableau calculi for hybrid logics},
  booktitle = {Proceedings of the Conference on Tableaux Calculi and Related Methods
	(TABLEAUX)},
  year = {1999},
  editor = {N. Murray},
  volume = {1617},
  series = LNAI,
  pages = {278-292},
  address = {Saratoga Springs, USA},
  publisher = {Springer Verlag},
}

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