Publications interpolation, definability and fixed points in interpretability logics

Interpolation, Definability and Fixed Points in Interpretability Logics

C. Areces, E. Hoogland, and D. de Jongh. Interpolation, Definability and Fixed Points in Interpretability Logics. In K. Segerberg, M. Zakharyaschev, M. de Rijke, and H. Wansing, editors, Advances in Modal Logic, pp. 35–58, CSLI Publications, 2000. Extended version of ``The Interpolation Theorem for IL and ILP'' (Areces, de Jongh and Hoogland).

Download

[pdf]

Abstract

(unavailable)

BibTeX

@InCollection{Areces2000e,
  author =       "C. Areces and E. Hoogland and D. {de} Jongh",
  booktitle =    "Advances in Modal Logic",
  publisher =    "CSLI Publications",
  title =        "Interpolation, Definability and Fixed Points in
                 Interpretability Logics",
  year =         "2000",
  editor =       "K. Segerberg and M. Zakharyaschev and M. de Rijke and
                 H. Wansing",
  note =         "Extended version of ``The Interpolation Theorem for IL
                 and ILP'' (Areces, de Jongh and Hoogland).",
  pages =        "35--58",
  volume =       "2",
  ISBN =         "1-57586-271-9",
}