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 Mon Dec 04, 2017 20:59:00