Skip to Main content Skip to Navigation
Journal articles

Hybrid logics: characterization, interpolation and complexity

Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/inria-00000319
Contributor : Areces Carlos <>
Submitted on : Friday, September 23, 2005 - 5:08:14 PM
Last modification on : Friday, September 23, 2005 - 5:08:14 PM

Identifiers

  • HAL Id : inria-00000319, version 1

Citation

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⟩

Share

Metrics

Record views

68