Journal of Logic and Computation. Special Issue on Hybrid Logic

Abstract : This is a special issue of the Journal of Logic and Computation devoted to hybrid logic, a version of modal logic in which it is possible to refer to worlds/times/states. It contains five research articles, and an editorial which surveys hybrid logic.
Type de document :
Direction d'ouvrage, Proceedings, Dossier
5 (5), Oxford University Press, 100 p, 2001
Liste complète des métadonnées

https://hal.inria.fr/inria-00100626
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 14:48:28
Dernière modification le : jeudi 11 janvier 2018 - 06:19:48

Identifiants

  • HAL Id : inria-00100626, version 1

Collections

Citation

Carlos Areces, Patrick Blackburn. Journal of Logic and Computation. Special Issue on Hybrid Logic. 5 (5), Oxford University Press, 100 p, 2001. 〈inria-00100626〉

Partager

Métriques

Consultations de la notice

72