Logics of metric spaces

ACM Transactions on Computational Logic

Volumn 4, Issue 2, 2003, Pages 260-294

  Kutz, Oliver ^a   Wolter, Frank ^a   Sturm, Holger ^b   Suzuki, Nobu Yuki ^c   Zakharyaschev, Michael ^d  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

^b UNIVERSITY OF KONSTANZ   (Germany)

^c SHIZUOKA UNIVERSITY   (Japan)

^d KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

Decidability; Expressive completeness; Metric spaces; Spatial reasoning

Indexed keywords

METRIC SPACES; MODAL LOGIC; PREDICATE LOGIC;

ARTIFICIAL INTELLIGENCE; COMPUTABILITY AND DECIDABILITY; COMPUTATIONAL METHODS; FORMAL LANGUAGES; KNOWLEDGE ENGINEERING; MODAL ANALYSIS; REAL TIME SYSTEMS;

LOGIC PROGRAMMING;

EID: 1942520823     PISSN: 15293785     EISSN: None     Source Type: Journal    
DOI: 10.1145/635499.635504     Document Type: Article

References (36)

1. ALUR, R. AND HENZINGER, T. A. 1992. Logics and models of real time: a survey. In Real Time: Theory and Practice, de Bakker et al., Ed. Springen Verlag, New York, 74-106.
2. BLACKBURN, P. 1993. Nominal tense logic. Notre Dame J. Formal Logic 34, 56-83.
3. BLUM, L., CUCKER, F., SHUB, M., AND SMALE, S. 1998. Complexity and Real Computation. Springer-Verlag, New York.
4. BÖRGER, E., GRÄDEL, E., AND GUREVICH, Y. 1997. The Classical Decision Problem. In Perspectives in Mathematical Logic. Springer-Verlag, New York.
5. CHAGROV, A. AND ZAKHARYASCHEV, M. 1997. Modal Logic. Oxford University Press, Oxford.
6. DE RIJKE, M. 1990. The modal logic of inequality. J. Symb. Logic 57, 566-584.
7. ETESSAMI, K., VARDI, M., AND WILKE, T. 1997. First-order logic with two variables and unary temporal logic. In Proceedings of 12th IEEE Symposium Logic in Computer Science. IEEE Computer Society Press, Los Alamitos, Calif., 228-235.
8. FÜRER, M. 1984. The computational complexity of the unconstrained limited domino problem (with implications for logical decision problems). In Logic and Machines: Decision Problems and Complexity. Springer-Verlag, New York, 312-319.
9. GABBAY, D. 1971. Expressive functional completeness in tense logic. In Aspects of Philosophical Logic, U. Mönnich, Ed. Reidel, 91-117.
10. GABBAY, D., HODKINSON, I., AND REYNOLDS, M. 1994. Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 1. Oxford University Press, Oxford, England.
11. GARGOV, G., PASSY, S., AND TINCHEV, T. 1988. Modal environment for Boolean speculations. In Mathematical Logic, D. Scordev, Ed. Plenum Press, New York.
12. GORANKO, V. 1990. Completeness and incompleteness in the bimodal base (R, -R). In Mathematical Logic, P. Petkov, Ed. Plenum Press, New York, 311-326.
13. GORANKO, V. AND PASSY, S. 1992. Using the universal modality. J. Logic Comput. 2, 203-233.
14. GRÄDEL, E., KOLAITIS, P., AND VARDI, M. 1997. On the decision problem for two-variable first-order logic. Bull. Symb. Logic 3, 53-69.
15. GRÄDEL, E. AND OTTO, M. 1999. On Logics with two variables. Theoret. Comput. Sci. 224, 73-113.
16. HAREL, D. 1984. Dynamic logic. In Handbook of Philosophical Logic, D. Gabbay and F. Guenthner, Eds. Reidel, Dordrecht, 605-714.
17. HENZINGER, T. A. 1998. It's about time: Real-time logics reviewed. In Proceedings of the 9th International Conference on Concurrency Theory (CONCUR 1998). Lecture Notes in Computer Science. Springer-Verlag, New York, 439-454.
18. HIRSHFELD, Y. AND RABINOVICH, A. M. 1999. Quantitative temporal logic. In Computer Science Logic, CSL'99, J. Flum and M. Rodrigues-Artalejo, Eds. Springer-Verlag, New York, 172-187.
19. JANSANA, R. 1994. Some logics related to von Wright's logic of place. Notre Dame J. Formal Logic 35, 88-98.
20. KAMP, H. 1968. Tense Logic and the Theory of Linear Order. Ph.D. dissertation. Univ. California, Los Angeles, Calif.
21. KUTZ, O., WOLTER, F., AND ZAKHARYASCHEV, M. 2002. Connecting abstract description systems. In Proceedings of KR 2002 (Toulouse, France). Morgan-Kaufmann, Reading, Mass.
22. LEMON, O. AND PRATT, I. 1998. On the incompleteness of modal logics of space: Advancing complete modal logics of place. In Advances in Modal Logic, M. Kracht, M. de Rijke, H. Wansing, and M. Zakharyaschev, Eds. CSLI, 115-132.
23. LUTZ, C., SATTLER, U., AND WOLTER, F. 2001. Modal logic and the two-variable fragment. In Proceedings of CSL'2001. Lecture Notes in Computer Science. Springer-Verlag, New York.
24. MONTANARI, A. 1996. Metric and layered temporal logic for time granularity. Ph.D. dissertation. Amsterdam.
25. MORTIMER, M. 1975. On languages with two variables. Z. Math. Logik Grund. der Math. 21, 135-140.
26. RABIN, M. O. 1965. A simple method for undecidability proofs and some applications. In Logic and Methodology of Sciences, Y. Bar-Hillel, Ed. North-Holland, Amsterdam, The Netherlands, 58-68.
27. RABINOVICH, A. M. 2000. Expressive completeness of duration calculus. Inf. Comput. 156, 320-344.
28. RESCHER, N. AND GARSON, J. 1968. Topological logic. J. Symb. Logic 33, 537-548.
29. SCOTT, D. 1962. A decision method for validity of sentences in two variables. J. Symb. Logic 27, 477.
30. SEGERBERG, K. 1980. A note on the logic of elsewhere. Theoria 46, 183-187.
31. STURM, H., SUZUKI, N.-Y., WOLTER, F., AND ZAKHAEYASCHEV, M. 2000. Semi-qualitative reasoning about distances: a preliminary report. In Logics in Artificial Intelligence. Proceedings of JELIA 2000 (Malaga, Spain). Springer-Verlag, Berlin, Germany, 37-56.
32. SUZUKI, N.-Y. 1997. Kripke frames with graded accessibility and fuzzy possible world semantics. Studia Logica 59, 249-269.
33. TARSKI, A. 1951. A Decision Method for Elementary Algebra and Geometry. University of California Press.
34. VAKARELOV, D. 1991. Modal logics for knowledge representation. Theoret. Comput. Sci. 90, 433-456.
35. VAN EMDE BOAS, P. 1997. The convenience of tilings. In Complexity, Logic and Recursion Theory, A. Sorbi, Ed. Lecture Notes in Pure and Applied Mathematics, vol. 187. Marcel Dekker Inc., 331-363.
36. VON WRIGHT, G. 1979. A modal logic of place. In The Philosophy of Nicholas Rescher, E. Sosa, Ed. D. Reidel, Dordrecht, 65-73.