A Framework for Intuitionistic Modal Logics

This publication has 3 references indexed in Scilit:

• Completeness and Correspondence in the First and Second Order Semantics for Modal Logic
  Published by Elsevier ,1975
• MIPC as the formalisation of an intuitionist concept of modality
  The Journal of Symbolic Logic, 1966
• A modal extension of intuitionist logic.
  Notre Dame Journal of Formal Logic, 1965