1. Aiello, M., van Benthem, J., Bezhanishvili, G.: Reasoning about space: The modal way. Journal of Logic and Computation 13(6), 889–920 (2003)
2. Aiello, M., Pratt-Hartmann, I.E., van Benthem, J.F.A.K.: Handbook of Spatial Logics. Springer, Heidelberg (2007)
3. Lecture Notes in Computer Science;S. Artemov,2008
4. Başkent, C.: Topics in Subset Space Logic. Institute for Logic, Language and Computation, Universiteit van Amsterdam (July 2007)
5. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. In: Cambridge Tracts in Theoretical Computer Science, vol. 53. Cambridge University Press, Cambridge (2001)