top

Terminating Tableau Calculi for Hybrid Logics extending K

T. Bolander and P. Blackburn. Terminating Tableau Calculi for Hybrid Logics extending K. In Methods for Modalities 5, Cachan, France, 2007.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@INPROCEEDINGS{BolanderBlackBurn2007termextk,
  author = {T. Bolander and P. Blackburn},
  title = {Terminating Tableau Calculi for Hybrid Logics extending K},
  booktitle = {Methods for Modalities 5},
  year = {2007},
  editor = {S. Demri and C. Areces},
  address = {Cachan, France},
}

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