Hybrid logic is the bounded fragment of first order logic.

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proceedings of 6th workshop on logic, language, information and computation, WOLLIC99
Editors	R. de Queiroz, W. Carnielli
Pages	33-50
Publication status	Published - 1999
Event	Rio de Janeiro , Brazil - Duration: 1 Jan 1999 → 1 Jan 1999

Conference	Rio de Janeiro , Brazil
Period	1/01/99 → 1/01/99

Persistent URL (handle)

@inproceedings{41ee8c8288034065ae302c9efd092bdb,

title = "Hybrid logic is the bounded fragment of first order logic.",

author = "C. Areces and P. Blackburn and M.J. Marx",

year = "1999",

language = "English",

pages = "33--50",

editor = "\{de Queiroz\}, R. and W. Carnielli",

booktitle = "Proceedings of 6th workshop on logic, language, information and computation, WOLLIC99",

note = "Rio de Janeiro , Brazil ; Conference date: 01-01-1999 Through 01-01-1999",

}

TY - GEN

T1 - Hybrid logic is the bounded fragment of first order logic.

AU - Areces, C.

AU - Blackburn, P.

AU - Marx, M.J.

PY - 1999

Y1 - 1999

M3 - Conference contribution

SP - 33

EP - 50

BT - Proceedings of 6th workshop on logic, language, information and computation, WOLLIC99

A2 - de Queiroz, R.

A2 - Carnielli, W.

T2 - Rio de Janeiro , Brazil

Y2 - 1 January 1999 through 1 January 1999

ER -