On the interpolation property of some intuitionistic modal logics
scientific article; zbMATH DE number 881129