Hybrid logics: characterization, interpolation and complexity

Areces, C., Blackburn, P., and Marx, M.. Hybrid logics: characterization, interpolation and complexity. The Journal of Symbolic Logic, 66(3):977–1010, 2001.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@ARTICLE{arec:hybr01,
  author = {Areces, C. and Blackburn, P. and Marx, M.},
  title = {Hybrid logics: characterization, interpolation and complexity},
  journal = {The Journal of Symbolic Logic},
  year = {2001},
  volume = {66},
  pages = {977--1010},
  number = {3},
}

Generated by bib2html.pl (written by Patrick Riley) on Sun Oct 02, 2016 17:05:49