JournalsprimsVol. 6 , No. 3DOI 10.2977/prims/1195193915

Kripke Models and Intermediate Logics

  • Hiroakira Ono

    Japan Advanced Institute of Science and Technology, Ishikawa, Japan
Kripke Models and Intermediate Logics cover