The Completeness Theorems for Some Intuitionistic Epistemic Logics In Terms of Interval Semantics
Michiro Kondo
Rikkyo University, Tokyo, Japan
![The Completeness Theorems for Some Intuitionistic Epistemic Logics In Terms of Interval Semantics cover](/_next/image?url=https%3A%2F%2Fcontent.ems.press%2Fassets%2Fpublic%2Fimages%2Fserial-issues%2Fcover-prims-volume-20-issue-3.png&w=3840&q=90)
Cite this article
Michiro Kondo, The Completeness Theorems for Some Intuitionistic Epistemic Logics In Terms of Interval Semantics. Publ. Res. Inst. Math. Sci. 20 (1984), no. 3, pp. 671–681
DOI 10.2977/PRIMS/1195181417