Publisher
Springer Science and Business Media LLC
Subject
Linguistics and Language,Philosophy,Computer Science (miscellaneous)
Reference15 articles.
1. Aczel P. H. G. (1968). Saturated intuitionistic theories. In: Schmidt H. A., Schütte K., Thiele H.-J. (eds) Contributions to mathematical logic. North Holland, Amsterdam
2. Dummett, M., & Lemmon, E. J. (1959). Modal logics between S4 and S5. Zeitschrift für mathematishe Logik und Grundlagen der Mathematik, 5, 250–64.
3. Fitting M. C. (1969). Intuitionistic logic, model theory and forcing. North Holland, Amsterdam
4. Fitting M. C. (1983). Proof methods for modal and intuitionistic logics. Kluwer Academic Publishers, Dordrecht
5. Gabbay D. (1981). Semantical investigations in Heyting’s intuitionistic logic. Reidel, Dordrecht
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. TRUTH AS AN EPISTEMIC IDEAL;Journal of Philosophical Logic;2007-09-05