top

Two Tableau-Based Decision procedures for Hybrid Logic

T. Bolander and T. Braüner. Two Tableau-Based Decision procedures for Hybrid Logic. In 4th Methods for Modalities Workshop (M4M), Informatik-Bericht Nr. 194, pp. 79–96, Humboldt-Universität zu Berlin, 2005.

Download: (unavailable)

Abstract:

(unavailable)

BibTeX: (download)

@INPROCEEDINGS{BB05,
  author = {T. Bolander and T. Bra{\"u}ner},
  title = {Two Tableau-Based Decision procedures for Hybrid Logic},
  booktitle = {4th Methods for Modalities Workshop (M4M), Informatik-Bericht Nr.
	194},
  year = {2005},
  editor = {H. Schlingloff},
  pages = {79--96},
  publisher = {Humboldt-Universit\"{a}t zu Berlin},
}

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