On modal logic with an intuitionistic base

A definition of the concept of Intuitionist Modal Analogue is presented and motivated through the existence of a theorem preserving translation fromMIPC (see [2]) to a bimodalS⁴–S⁵ calculus.Allatum est die 9 Septembris 1975