Chapitre D'ouvrage
Année : 2000
Areces Carlos : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00104543
Soumis le : vendredi 6 octobre 2006-18:37:51
Dernière modification le : vendredi 24 mars 2023-14:52:48
Dates et versions
Identifiants
- HAL Id : inria-00104543 , version 1
Citer
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⟩
Collections
30
Consultations
0
Téléchargements