Hybrid logic is the bounded fragment of first order logic.

C. Areces, P. Blackburn, M.J. Marx

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProceedings of 6th workshop on logic, language, information and computation, WOLLIC99
EditorsR. de Queiroz, W. Carnielli
Pages33-50
Publication statusPublished - 1999
EventRio de Janeiro , Brazil -
Duration: 1 Jan 19991 Jan 1999

Conference

ConferenceRio de Janeiro , Brazil
Period1/01/991/01/99

Cite this