ML is not finitely axiomatizable over Cheq

Authors
Publication date 2006
Host editors
  • G. Governatori
  • I. Hodkinson
  • Y. Venema
Book title Advances in Modal Logic 6
ISBN
  • 9781904987208
Event Conference Advances in Modal Logic, 2006 (AiML 2006), Noosa (Australia)
Pages (from-to) 139-146
Publisher London: College Publications
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Conference contribution
Language English
Published at
http://www.aiml.net/volumes/volume6/ (Final published version)
Permalink to this page
Back