Sahlqvist theory for hybrid logic

Authors
Publication date 2004
Host editors
  • A. Troelstra
Book title Liber Amicorum ter gelegenheid van het afscheid van Dick de Jongh
Pages (from-to) 1-6
Number of pages 6
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Chapter
Permalink to this page
Back