Hybrid Logics

Areces Carlos 1 Balder Ten Cate
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
P. Blackburn, F. Wolter and J. van Benthem. Handbook of Modal Logic, Elsevier, 2006
Liste complète des métadonnées

https://hal.inria.fr/inria-00104513
Contributeur : Areces Carlos <>
Soumis le : vendredi 6 octobre 2006 - 16:42:44
Dernière modification le : jeudi 11 janvier 2018 - 06:19:48

Identifiants

  • HAL Id : inria-00104513, version 1

Collections

Citation

Areces Carlos, Balder Ten Cate. Hybrid Logics. P. Blackburn, F. Wolter and J. van Benthem. Handbook of Modal Logic, Elsevier, 2006. 〈inria-00104513〉

Partager

Métriques

Consultations de la notice

67