M. Aiello, J. Van-benthem, and G. Bezhanishvili, Reasoning About Space: The Modal Way, Journal of Logic and Computation, vol.13, issue.6, pp.889-929, 2003.
DOI : 10.1093/logcom/13.6.889

C. Areces, P. Blackburn, D. Gorín, and G. Hoffmann, Inference tools for hybrid logics (InToHyLo). Manuscript, LORIA, available from http, 2007.

C. Areces, P. Blackburn, and M. Marx, The computational complexity of hybrid temporal logics, Logic Journal of IGPL, vol.8, issue.5, pp.653-679, 2000.
DOI : 10.1093/jigpal/8.5.653
URL : https://hal.archives-ouvertes.fr/inria-00000304

C. Areces and B. Cate, Hybrid logics, Handbook of Modal Logics, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00000307

T. Bolander and P. Blackburn, Terminating tableaux calculi for hybrid logics extending K, 2007.

L. Esakia, Diagonal constructions, Löb's formula, and Cantor's scattered spaces, Studies in Logic and Semantics, pp.128-143, 1981.

D. Figueira, Bisimulation and complexity for neighbourhood semantics, 2007.

G. Hoffmann, HTab: Terminating tableaux system for hybrid logic Master's thesis, Département de formation doctorale en informatique, UFR STMIA. ´ Ecole doctorale IAEM Lorraine, 2007.

G. Hoffmann and C. Areces, HTab: a Terminating Tableaux System for Hybrid Logic, Electronic Notes in Theoretical Computer Science, vol.231, 2007.
DOI : 10.1016/j.entcs.2009.02.026
URL : https://hal.archives-ouvertes.fr/inria-00187300

J. Mckinsey and A. Tarski, The Algebra of Topology, The Annals of Mathematics, vol.45, issue.1, pp.141-191, 1944.
DOI : 10.2307/1969080

M. Orlov, Efficient generation of set partitions, 2002.

V. Shehtman, Modal logics of domains on the real plane, Studia Logica, vol.41, issue.1, pp.63-80, 1983.
DOI : 10.1007/BF01418760

D. Sustretov, Topological semantics and decidability, p.703106
URL : https://hal.archives-ouvertes.fr/hal-00134914

D. Sustretov, Topological semantics and decidability, International Workshop on Hybrid Logic, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00134914

A. Tarski, Der Aussagenkalkül und die Topologie, Fund. Math, vol.31, pp.103-134, 1938.

J. Van-eijck, HyLoTab ? Tableau-based theorem proving for hybrid logics. Manuscript, CWI, available from http, 2002.