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

P. Blackburn, Balder ten Cate Pure Extensions, Proof Rules, and Hybrid Axiomatics, Preliminary Proceedings of Advances in Modal Logic, 2004.
DOI : 10.1007/s11225-006-9009-6
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.7583

P. Blackburn and M. , Hybrid languages and temporal logic, Logic Journal of IGPL, vol.7, issue.1, pp.27-54, 1999.
DOI : 10.1093/jigpal/7.1.27
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.192.4824

J. C. Mckenzie and A. , Tartski The algebra of topology, Annals of Mathematics, vol.45, pp.141-191, 1944.