Interpolation, Definability and Fixed Points in Interpretability Logics

Authors
Publication date 2000
Host editors
  • K. Segerberg
  • M. Zakharyaschev
  • M. de Rijke
  • H. Wansing
Book title Advances in Modal Logic
Series CSLI Publications, 2
Pages (from-to) 35-58
Number of pages 24
Publisher Stanford, California: CSLI
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Chapter
Permalink to this page
Back