Publisher
Springer Nature Switzerland
Reference50 articles.
1. Ehrenfeucht, A.: An application of games to the completeness problem for formalized theories. Fund. Math. 49, 129–141 (1961)
2. Hanf, W.: Model-theoretic methods in the study of elementary logic. In: Addison, J.W., Henkin, L., Tarski, A. (eds.) The Theory of Models. North-Holland, Amsterdam (1965)
3. Kolaitis, P.G.: On the expressive power of logics on finite models. In: Grädel, E. et al. (eds.) Finite Model Theory and its Applications, pp. 27–124. Springer, Berlin (2007)
4. Ebbinghaus, H.-D., Flum, J.: Finite Model Theory. Springer, Berlin (2006)
5. Gaifman, H.: On local and non-local properties. In: Proceedings of the Herbrand Symposium, Logic Colloquium’81. North-Holland (1982)