Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference19 articles.
1. W. Craig, Three uses of Herbrand-Gentzen theorem in relating model theory and proof theory, Journal of Symbolic Logic 22 (1957), pp. 269?285.
2. J. Czermak, Interpolation theorem for some modal logics, Logic Colloquium 1973, Proceedings, Bristol 1973, pp. 381?393 (1975).
3. D. Gabbay, Semantic proof of the Craig interpolation theorem for intuitionistic logic and its extensions I, II, Logic Colloquium '69, Amsterdam, 1971, pp. 391?410.
4. D. Gabbay, Craig's interpolation theorem for intuitionistic logic and its extensions, III, Journal of Symbolic Logic 42 (1977), pp. 269?271.
5. D. Gabbay, Craig's interpolation theorem for modal logics, Lecture Notes Mathematics 255 (1972), pp. 111?127.
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献