top

Hybrid logic is the bounded fragment of first order logic

C. Areces, P. Blackburn, and M. Marx. 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{areces99:_hybrid,
  author = {C. Areces and P. Blackburn and M. Marx},
  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 = {R. de Queiroz and W. Carnielli},
  pages = {33--50},
  address = {Rio de Janeiro, Brazil},
}

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