Interpolation, Definability and Fixed Points in Interpretability Logics

Areces, C., Hoogland, E., and de Jongh, D.. 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: (download)

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

Generated by bib2html.pl (written by Patrick Riley) on Sun Oct 02, 2016 17:05:49