Hybrid logic is the bounded fragment of first order logic - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 1999

Hybrid logic is the bounded fragment of first order logic

C. Areces
  • Function : Author
P. Blackburn
  • Function : Author
M. Marx
  • Function : Author
No file

Dates and versions

inria-00000320 , version 1 (23-09-2005)

Identifiers

  • HAL Id : inria-00000320 , version 1

Cite

C. Areces, P. Blackburn, M. Marx. Hybrid logic is the bounded fragment of first order logic. Proceedings of 6th Workshop on Logic, Language Information and Computation, WOLLIC99, 1999, Rio de Janeiro, Brazil, pp.33--50. ⟨inria-00000320⟩
6 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More