Sahlqvist theory and transfer results for hybrid logics

Authors
Publication date 2004
Host editors
  • R. Schmidt
  • I. Pratt-Hartman
Book title Preliminary proceedings of Advances in Modal Logic 2004
Event Advances in Modal Logic 2004
Pages (from-to) 44-61
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Conference contribution
Permalink to this page
Back