Interpolation, definability and fixed points in interpretability logics - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Chapitre D'ouvrage Année : 2000

Interpolation, definability and fixed points in interpretability logics

Eva Hoogland
  • Fonction : Auteur
Dick de Jongh
  • Fonction : Auteur
Fichier non déposé

Dates et versions

inria-00104543 , version 1 (06-10-2006)

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⟩
30 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More