https://hal.inria.fr/inria-00104543
Contributor : Areces Carlos <>
Submitted on : Friday, October 6, 2006 - 6:37:51 PM Last modification on : Friday, February 26, 2021 - 3:28:03 PM
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⟩