Transfer results for hybrid logic - part i: the case without satisfaction operators

Authors
Publication date 2004
Series Internal Reports, PP-2004-06
Publisher Amsterdam: Institute for Logic, Language and Computation
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Working paper
Permalink to this page
Back