Interpolation, definability and fixed points in interpretability logics - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 2000

Interpolation, definability and fixed points in interpretability logics

Eva Hoogland
  • Function : Author
Dick de Jongh
  • Function : Author
No file

Dates and versions

inria-00104543 , version 1 (06-10-2006)

Identifiers

  • HAL Id : inria-00104543 , version 1

Cite

Areces Carlos, Eva Hoogland, Dick de Jongh. Interpolation, definability and fixed points in interpretability logics. K. Segerberg, M. Zakharyaschev, M. de Rijke, and H. Wansing. Advances in Modal Logic, CSLI Publications, 2000. ⟨inria-00104543⟩
30 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More