Journal Articles
The Journal of Symbolic Logic
Year : 2001
Areces Carlos : Connect in order to contact the contributor
https://inria.hal.science/inria-00000319
Submitted on : Friday, September 23, 2005-5:08:14 PM
Last modification on : Friday, September 23, 2005-5:08:14 PM
Dates and versions
Identifiers
- HAL Id : inria-00000319 , version 1
Cite
C. Areces, P. Blackburn, M. Marx. Hybrid logics: characterization, interpolation and complexity. The Journal of Symbolic Logic, 2001, The Journal of Symbolic Logic, 66 (3), pp.977--1010. ⟨inria-00000319⟩
2
View
0
Download