An application of sahlqvist theory to bisorted modal logic

Authors
Publication date 2003
Host editors
  • B.D. ten Cate
Book title Proceedings of the 8th ESSLLI Student Section
Pages (from-to) 149-158
Publisher ESSLLI
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Conference contribution
Permalink to this page
Back