Transfer results for hybrid logic Part I: the case without the satisfaction operators

Authors
Publication date 2006
Journal Journal of Logic and Computation
Volume | Issue number 16
Pages (from-to) 177-197
Number of pages 21
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Article
Published at https://doi.org/10.1093/logcom/exi056
Permalink to this page
Back