In this note, we prove that intuitionistic modal logic LIK4 is decidable.

翻译：本文证明了直觉主义模态逻辑LIK4是可判定的。