https://hal.inria.fr/inria-00104543
Contributeur : Areces Carlos
<>
Soumis le : vendredi 6 octobre 2006 - 18:37:51
Dernière modification le : jeudi 11 janvier 2018 - 06:19:48
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〉