Constructive interpolation in hybrid logic

Authors
Publication date 2003
Journal Journal of Symbolic Logic
Volume | Issue number 68 | 2
Pages (from-to) 463-480
Number of pages 18
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Article
Published at https://doi.org/10.2178/jsl/1052669059
Permalink to this page
Back