Interpolation, definability and fixed points in interpretability logics

Authors
Publication date 1999
Book title Advances in Modal Logic
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Chapter
Permalink to this page
Back