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

INRIA | LORIA | UNIV-LORRAINE

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

48

Contact


archive-ouverte@inria.fr