On preservation theorems for two-variable logic

Mathematical Logic Quarterly

Volumn 45, Issue 3, 1999, Pages 315-325

  Grädel, Erich ^a   Rosen, Eric ^a  

^a RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

Finite model theory; Finite variable logic; Preservation theorem

Indexed keywords

EID: 0033455116     PISSN: 09425616     EISSN: None     Source Type: Journal    
DOI: 10.1002/malq.19990450304     Document Type: Article

References (17)

1. ALECHINA, N., and Y. GUREVICH, Syntax vs. semantics on finite structures. In: Structures in Logic and Computer Science. A Selection of Essays in Honor of A. Ehrenfeucht (J. MYCIELSKI, G. ROZENBERG, and A. SALOMAA, eds.), Lecture Notes in Computer Science 1261, Springer-Verlag, Berlin-Heidelberg-New York 1997. pp. 14-33.
2. ANDRÉKA, H., J. VAN BENTHEM, and I. NÉMETI, Modal languages and bounded fragments of predicate logic. ILLC Research Report ML-96-03, 1996.
3. VAN BENTHEM, J., Modal Logic and Classical Logic. Bibliopolis, Napolis 1983.
4. CHANG, C. C., and H. J. KEISLER, Model Theory. North-Holland Publ. Comp., Amsterdam 1990.
5. DAWAR, A., S. LINDELL, and S. WEINSTEIN, Infinitary logic and inductive definability over finite structures. Information and Computation 119 (1994), 160-175.
6. EBBINGHAUS, H.-D., and J. FLUM, Finite Model Theory. Springer-Verlag, Berlin-Heidelberg-New York 1995.
7. GRÄDEL, E., PH. KOLAITIS, and M. VARDI, On the decision problem for two-variable first-order logic. Bull. Symbolic Logic 3 (1997), 53-69.
8. GRÄDEL, E., and M. OTTO, On logics with two variables. Theoret. Comput. Science (to appear).
9. GUREVICH, Y., Toward logic tailored for computational complexity. In: Computation and Proof Theory, Lecture Notes in Mathematics 1104, Springer-Verlag, Berlin-Heidelberg-New York 1984, pp. 175-216.
10. HODGES, W., Model Theory. Cambridge University Press, Cambridge 1993.
11. HODKINSON, I., Finite variable logics. Bulletin of the European Association for Theoretical Computer Science 51 (1993), 111-140.
12. MORTIMER, M., On languages with two variables. Z. Math. Logik Grundlagen Math. 21 (1975), 135-140.
13. OTTO, M., Bounded Variable Logics and Counting. Springer-Verlag, Berlin-Heidelberg-New York 1997.
14. ROSEN, E., Finite model theory and finite variable logic. PhD thesis, University of Pennsylvania, 1995.
15. ROSEN, E., Modal logic over finite structures. J. Logic, Language and Information 6 (1997), 427-439.
16. ROSEN, E., and S. WEINSTEIN, Preservation theorems in finite model theory. In: Logic and Computational Complexity (D. LEIVANT, ed.), Lecture Notes in Computer Science 960, Springer-Verlag, Berlin-Heidelberg-New York 1995, pp. 480-502.
17. TAIT, W. W., A counterexample to a conjecture of Scott and Suppes. J. Symbolic Logic 24 (1959), 15-16.