Publisher
Springer Science and Business Media LLC
Reference16 articles.
1. P.Aczel,Saturated Intuitionistic Theories, Contributions to Mathematical Logic, North Holland, Amsterdam, 1968, pp. 1?11.
2. J.Bell and A.Slomsen,Models and Ultraproducts, North Holland, Amsterdam, 1971.
3. T.Frayne, A.Morel, and D.Scott, ?Reduced Direct Products?,Fund. Math. 51 (1962), 195?228.
4. D.Gabbay, ?Model Theory for Intuitionistic Logic?,Zeit. f. Math. Logik, und Grundl. d. Math. 18 (1972), 49?54.
5. D. Gabbey,Craig's Interpolation Theorem for Modal Logics, Conference in Mathematical Logic-London `70, Lecture Notes in Mathematics, No. 255, Springer, 1972, pp. 111?127.
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献