Hybrid Logics - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 2006
No file

Dates and versions

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

Identifiers

  • HAL Id : inria-00104513 , version 1

Cite

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

Share

Gmail Facebook Twitter LinkedIn More