Abstract. Let be one of the intuitionistic modal logics considered in [7] (or one of its extensions) and let be the algebraic semantics of . In this paper we will extend to the equivalence, proved in the classical case (see [6]), among the weak Craig interpolation theorem, the Robinson theorem and the amalgamation property of variety . We will also prove the equivalence between the Craig interpolation theorem and the super-amalgamation property of variety . Then we obtain the Craig interpolation theorem and Robinson theorem for two intuitionistic modal logics, one of -type and the other one of -type, showing the super-amalgamation property of the corresponding algebraic semantics.