1. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)
2. Bennett, B.: Modal logics for qualitative spatial reasoning. Bull. of the IGPL 3, 1–22 (1995)
3. Bennett, B., Cohn, A.G., Wolter, F., Zakharyaschev, M.: Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning. Applied Intelligence 17(3), 239–251 (2002)
4. Burgess, J.P.: Basic tense logic.Handbook of Philosophical Logic. In: Gabbay, D., Guenthner, F. (eds.) Extensions of Classical Logic, vol. 2, pp. 89–133. Reidel, Dorchecht (1984)
5. LNCS(LNAI);A. Burrieza,2004