On modal logic with an intuitionistic base
scientific article; zbMATH DE number 3566821