On an intuitionistic modal logic
intuitionistic variant of modal logic S4
scientific article; zbMATH DE number 1546773