JournalsprimsVol. 20 , No. 3DOI 10.2977/prims/1195181417

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