Notes on Logics of Metric Spaces
- First Online:
- 53 Downloads
In , we studied the computational behaviour of various first-order and modal languages interpreted in metric or weaker distance spaces.  gave an axiomatisation of an expressive and decidable metric logic. The main result of this paper is in showing that the technique of representing metric spaces by means of Kripke frames can be extended to cover the modal (hybrid) language that is expressively complete over metric spaces for the (undecidable) two-variable fragment of first-order logic with binary pred-icates interpreting the metric. The frame conditions needed correspond rather directly with a Boolean modal logic that is, again, of the same expressivity as the two-variable fragment. We use this representation to derive an axiomatisation of the modal hybrid variant of the two-variable fragment, discuss the compactness property in distance logics, and derive some results on (the failure of) interpolation in distance logics of various expressive power.
KeywordsMetric spaces expressive completeness Boolean modal logic hybrid logic axiomatisation interpolation
Unable to display preview. Download preview PDF.
- Etessami, K., M. Vardi, and T. Wilke, ‘First-order logic with two variables and unary temporal logic’, Proceedings of 12th. IEEE Symp. Logic in Computer Science, 1997, pp. 228–235.Google Scholar
- G. Gargov, S. Passy, and T. Tinchev, ‘Modal environment for Boolean specula- tions’, in D. Skordev, editor, Mathematical Logic and its Applications. Proceedings of the Summer School and Conference dedicated to the 80th Anniversary of Kurt Gödel, Druzhba, 1986. Plenum Press, New York, 1987, pp. 253–263.Google Scholar
- Goldblatt, R., Axiomatizing the Logic of Computer Programming, volume 130 of Lecture Notes in Computer Science, Springer, 1982.Google Scholar
- Kutz, O., E-Connections and Logics of Distance, PhD thesis, The University of Liverpool, 2004.Google Scholar
- Kutz, O., H. Sturm, N.-Y. Suzuki, F. Wolter, and M. Zakharyaschev, ‘Ax- iomatizing distance logics’, Journal of Applied Non-Classical Logic, 12:425–440, 2002.Google Scholar
- Lutz, C., and U. Sattler, ‘The Complexity of Reasoning with Boolean Modal Logic’, in F. Wolter, H. Wansing, M. de Rijke, and M. Zakharyaschev (eds.), Advances in Modal Logic, volume 3. World Scientific Publishing Company, 2002, pp. 329–348.Google Scholar
- Lutz, C., U. Sattler, and F. Wolter, ‘Modal logics and the two-variable frag- ment’, Annual Conference of the European Association for Computer Science Logic CSL'01, LNCS, Springer Verlag, Paris, France, 2001.Google Scholar
- Marx, M., and Y. Venema, Multi-dimensional modal logic, Kluwer Academic Publishers, Dordrecht, 1997.Google Scholar
- Passy, S., and T. Tinchev, ‘An essay in combinatory dynamic logic’, Information and Computation, 93(2), 1991.Google Scholar
- Wolter, F., and M. Zakharyaschev, ‘Reasoning about distances’, Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI 2003), Acapulco, Mexico, 2003, pp. 1275–1280.Google Scholar