Publisher
Springer Science and Business Media LLC
Reference38 articles.
1. E. W. Beth, “On Padoa’s method in the theory of definitions,” Indag. Math., 15, No. 4, 330-339 (1953).
2. W. Craig, “Three uses of Herbrand–Gentzen theorem in relating model theory and proof theory,” J. Symb. Log., 22, No. 3, 269-285 (1957).
3. B. Jonsson, “Extensions of relational structures,” in Theory of Models, Proc. Int. Symp., North-Holland, Amsterdam (1965), pp. 146-157.
4. J. Barwise and S. Feferman (eds.), Model-Theoretic Logics, Springer, New York (1985).
5. D. M. Gabbay and L. Maksimova, Interpolation and Definability: Modal and Intuitionistic Logics, Clarendon Press, Oxford (2005).
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献