Hybrid logic is the bounded fragment of first order logic

Authors
Publication date 1999
Host editors
  • W. Carnielli
  • R. de Queiroz
Book title Proceedings of 6th workshop on logic, language , information and computation, WOLLIC99
Event 6th workshop on logic, language , information and computation, WOLLIC99
Pages (from-to) 33-50
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Conference contribution
Permalink to this page
Back