Interpolation, definability and fixed points in interpretability logics

Areces Carlos 1 Eva Hoogland Dick De Jongh
1 LANGUE ET DIALOGUE - Human-machine dialogue with a significant language component
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Type de document :
Chapitre d'ouvrage
K. Segerberg, M. Zakharyaschev, M. de Rijke, and H. Wansing. Advances in Modal Logic, CSLI Publications, 2000
Liste complète des métadonnées

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

Identifiants

  • HAL Id : inria-00104543, version 1

Collections

Citation

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〉

Partager

Métriques

Consultations de la notice

46