The interpolation theorem for IL and ILP

Authors
Publication date 1998
Book title Proc. of AiML98 Advances in modal logic
ISBN
  • -
Series -, -
Pages (from-to) ---
Publisher Uppsala University
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Chapter
Note - Gebeurtenis: -
Permalink to this page
Back