A modal extension of intuitionist logic.
-
Published:1965-01-01
Issue:2
Volume:6
Page:
-
ISSN:0029-4527
-
Container-title:Notre Dame Journal of Formal Logic
-
language:
-
Short-container-title:Notre Dame J. Formal Logic
Publisher
Duke University Press
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. On Intuitionistic Diamonds (and Lack Thereof);Lecture Notes in Computer Science;2023
2. TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS;The Review of Symbolic Logic;2021-12-02
3. Modal Intuitionistic Logics as Dialgebraic Logics;Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science;2020-07-08
4. Gentzen sequent calculi for some intuitionistic modal logics;Logic Journal of the IGPL;2019-05-30
5. Basic Intuitionistic Conditional Logic;Journal of Philosophical Logic;2018-07-23