Reference18 articles.
1. Barwise, J.: Axioms for abstract model theory. Ann. Math. Logic 7, 221–265 (1974)
2. Barwise, J., Feferman, S. (eds.): Model-Theoretic Logics. Perspectives in Mathematical Logic. Springer-Verlag, New York (1985)
3. van Benthem, J.: A new modal Lindström theorem. Logica Universalis 1(1), 125–138 (2007)
4. van Benthem, J., ten Cate, B., Väänänen, J.: Lindström theorems for fragments of first-order logic. Log. Methods Comput. Sci. 5(3), 27 (2009)
5. Ehrenfeucht, A.: An application of games to the completeness problem for formalized theories. Fund. Math. 49, 129–141 (1960/1961)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献