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 Mon Dec 04, 2017 20:59:00