Reference6 articles.
1. R. A. Bull, ‘A modal extension of intuitionistic logic’, Notre Dame Journal of Formal Logic
6, 2, 142–146 (1965).
2. R. A. Bull, ‘MIPC as the formalization of an intuitionistic concept of modality’, J. Symb. Logic
31, 4, 609–616 (1966).
3. R. A. Bull, ‘Some modal calculi based on IC’, in Formal Systems and Recursive Functions, edited by J. N. Crossley and M. A. E. Dummett. Amsterdam, North Holland, 1966.
4. G. Fischer Servi, ‘On modal logic with an intuitionistic base’, Studia Logica
36, 2 (1977).
5. E. J. Lemmon, ‘Algebraic semantics for modal logics, I’, J. Symb. Logic
31, 1, 46–65 (1966).
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献