Hybrid Logics: Characterization, Interpolation and Complexity. Areces, C., Blackburn, P., & Marx, M. J. Symb. Log., 66(3):977-1010, 2001.
Hybrid Logics: Characterization, Interpolation and Complexity. [link]Link  Hybrid Logics: Characterization, Interpolation and Complexity. [link]Paper  bibtex   
@article{journals/jsyml/ArecesBM01,
  added-at = {2020-09-05T00:00:00.000+0200},
  author = {Areces, Carlos and Blackburn, Patrick and Marx, Maarten},
  biburl = {https://www.bibsonomy.org/bibtex/2c68a01e056a6a55ac602077570e7e601/dblp},
  ee = {http://projecteuclid.org/euclid.jsl/1183746543},
  interhash = {da3d7d7e1e7b6f567fa25f333a11f71c},
  intrahash = {c68a01e056a6a55ac602077570e7e601},
  journal = {J. Symb. Log.},
  keywords = {dblp},
  number = 3,
  pages = {977-1010},
  timestamp = {2020-09-09T11:51:25.000+0200},
  title = {Hybrid Logics: Characterization, Interpolation and Complexity.},
  url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml66.html#ArecesBM01},
  volume = 66,
  year = 2001
}

Downloads: 0