Hybrid Logics - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Chapitre D'ouvrage Année : 2006

Hybrid Logics

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : inria-00104513 , version 1

Citer

Areces Carlos, Balder ten Cate. Hybrid Logics. P. Blackburn, F. Wolter and J. van Benthem. Handbook of Modal Logic, Elsevier, 2006. ⟨inria-00104513⟩
27 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More