Hybrid logic is the bounded fragment of first order logic

Areces, C., Blackburn, P., and Marx, M.. Hybrid logic is the bounded fragment of first order logic. In Proceedings of 6th Workshop on Logic, Language , Information and Computation, WOLLIC99, pp. 33–50, Rio de Janeiro, Brazil, 1999.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@INPROCEEDINGS{arec:hybr99a,
  author = {Areces, C. and Blackburn, P. and Marx, M.},
  title = {Hybrid logic is the bounded fragment of first order logic},
  booktitle = {Proceedings of 6th Workshop on Logic, Language , Information and
	Computation, WOLLIC99},
  year = {1999},
  editor = {de Queiroz, R. and Carnielli, W.},
  pages = {33--50},
  address = {Rio de Janeiro, Brazil},
}

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