We introduce an intuitionistic modal logic strictly contained in the intuitionistic modal logic IK and being an appropriate candidate for the title of ``minimal normal intuitionistic modal logic''.

翻译：我们引入了一种严格包含于直觉主义模态逻辑IK的直觉主义模态逻辑，该逻辑是“最小正规直觉主义模态逻辑”这一称谓的恰当候选者。