Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference9 articles.
1. R. A. Bull,A modal extension of intuitionistic logic,Notre Dame Journal of Formal Logic, Vol. 6, No. 2 (1965), pp. 142–146.
2. —,MIPC as the formalization of an intuitionist concept of modality,Journal of Symbolic Logic, Vol. 31, No. 4 (1966), pp. 609–616.
3. R. A. Bull,Some modal calculi based on IC, inFormal systems and recursice functions (eds,J. N. Crossley andA. E. Dummet), North-Holland, 1966.
4. G. Fischer Servi,Un'algebraizzazione del calcolo intuizionista monadico, to appear inMatematiche (Catania).
5. M. Fitting,Logics with several modal operators,Theoria 35 (1969), pp. 259–266.
Cited by
53 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献