1. Alenda, R., Olivetti, N., Schwind, C.: Comparative concept similarity over minspaces: Axiomatisation and tableaux calculus. Technical report (2009),
http://arxiv.org/abs/0902.0899
2. Boolos, G.: The Logic of Provability. Cambridge University Press, Cambridge (1993)
3. Giordano, L., Gliozzi, V., Olivetti, N., Schwind, C.: Tableau calculus for preference-based conditional logics: Pcl and its extensions. ACM Trans. Comput. Log. 10(3) (2009)
4. LNAI;U. Hustadt,2006
5. Kurucz, A., Wolter, F., Zakharyaschev, M.: Modal logics for metric spaces: Open problems. In: Artëmov, S.N., Barringer, H., d’Avila Garcez, A.S., Lamb, L.C., Woods, J. (eds.) We Will Show Them (2), pp. 193–208. College Publications (2005)