Two variable first-order logic over ordered domains

Journal of Symbolic Logic

Volumn 66, Issue 2, 2001, Pages 685-702

  Otto, Martin ^a  

^a SWANSEA UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0035534330     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2695037     Document Type: Article

References (11)

1. E. BÖRGER, E. GRÄDEL, and Y. GUREVICH, The classical decision problem, Springer, 1997.
2. K. ETESSAMI, M. VARDI, and T. WILKE, First-order logic with two variables and unary temporal logic, Proceedings of the 12th ieee symposium on logic in compter science, 1997, pp. 228-235.
3. E. GRÄDEL, P. KOLAITIS, , and M. VARDI, On the complexity of the decision problem for two-variable first-order logic, The Bulletin of Symbolic Logic, vol. 3 (1997), pp. 53-69.
4. E. GRÄDEL and M. OTTO, On logics with two variables. Theoretical Computer Science, vol. 224 (1999), pp. 73-113.
5. E. GRÄDEL, M. OTTO, and E. ROSEN, Undecidability results on two-variable logics, Archive of Mathematical Logic, vol. 38 (1999), pp. 313-354, A preliminary version appeared in Proceedings of 14th Symposium on Theoretical Aspects of Computer Science 1997, LNCS, vol. 1200, Springer 1997, pp. 249-260.
6. E. GRÄDEL, M. OTTO, and E. ROSEN, Undecidability results on two-variable logics, Archive of Mathematical Logic, vol. 38 (1999), pp. 313-354, A preliminary version appeared in Proceedings of 14th Symposium on Theoretical Aspects of Computer Science 1997, LNCS, vol. 1200, Springer 1997, pp. 249-260.
7. Y. GUREVICH and I. KORYAKOV, Remarks on Berger's paper on the domino problem, Siberian Mathematical Journal, vol. 13 (1972), pp. 319-321.
8. N. IMMERMAN and M. VARDI, Model checking and transitive closure logic, Proceedings of the 9th conference on computer-aided verification, 1997, pp. 291-302.
9. M. MORTIMER, On languages with two variables, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 21 (1975), pp. 135-140.
10. D. SCOTT, A decision method for validity of sentences in two variables, this JOURNAL, vol. 27 (1962), p. 377.
11. M. VARDI, Why is modal logic so robustly decidable?, Descriptive complexity and finite models (Princeton, NJ, 1996), DIMACS Series in Discrete Mathematics and Theoretical Computer Science, no. 31. American Mathematical Society, 1997, pp. 149-184.