top

Sahlqvist theory and transfer results for hybrid logics

N. Bezhanishvili, B. den Cate, M. Marx, and P. Viana. Sahlqvist theory and transfer results for hybrid logics. In Preliminary proceedings of Advances in Modal Logic 2004, 2004.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@INPROCEEDINGS{bezhanishvili04:_sahlq,
  author = {N. Bezhanishvili and B. den Cate and M. Marx and P. Viana},
  title = {Sahlqvist theory and transfer results for hybrid logics},
  booktitle = {Preliminary proceedings of Advances in Modal Logic 2004},
  year = {2004},
  editor = {R. Schmidt and I. Pratt-Hartmann and M. Reynolds and H. Wansing},
}

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