From description to hybrid logics, and back

Areces Carlos 1 Maarten De Rijke
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
F. wolter, H. Wansing, M. de Rijke, and M. Zakharyaschev. Advances in Modal Logic, CSLI Pulbications, 2001
Liste complète des métadonnées

https://hal.inria.fr/inria-00104377
Contributeur : Areces Carlos <>
Soumis le : vendredi 6 octobre 2006 - 13:58:32
Dernière modification le : jeudi 11 janvier 2018 - 06:19:48

Identifiants

  • HAL Id : inria-00104377, version 1

Collections

Citation

Areces Carlos, Maarten De Rijke. From description to hybrid logics, and back. F. wolter, H. Wansing, M. de Rijke, and M. Zakharyaschev. Advances in Modal Logic, CSLI Pulbications, 2001. 〈inria-00104377〉

Partager

Métriques

Consultations de la notice

39