The Completeness Theorems for Some Intuitionistic Epistemic Logics In Terms of Interval Semantics

  • Michiro Kondo

    Rikkyo University, Tokyo, Japan

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