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 bimodalS4–S5 calculus.