Hybrid logics: Characterization, interpolation and complexity

Authors
Publication date 2001
Journal Journal of Symbolic Logic
Volume | Issue number 66 | 3
Pages (from-to) 977-1010
Number of pages 34
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Article
Published at https://doi.org/10.2307/2695090
Permalink to this page
Back