Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference12 articles.
1. J. L. Bell and M. Machover, A Course in Mathematical Logic, North-Holland, Amsterdam, 1977.
2. G. Boolos, The Unprovability of Consistency: An Essay in Modal Logic, Cambridge University Press, Cambridge, 1979.
3. M. Božić and K. Došen, Models for normal intuitionistic modal logics, Studia Logica 43 (1984), pp. 15–43.
4. R. A. Bull, A modal extension of intuitionistic logic, Notre Dame Journal of Formal Logic 6 (1965), pp. 142–146.
5. R. A. Bull, MIPC as the formalization of an intuitionist concept of modality, The Journal of Symbolic Logic 31 (1966), pp. 609–616.
Cited by
43 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献