MIPC is a well-known intuitionistic modal logic of Prior (1957) and Bull(1966). It is shown that every normal intuitionistic modal logic L over MIPC has the nite model property whenever L is Kripke-complete and universal. Mathematics Subject Classi cation: 03B45, 03B25.
