Which classical correspondence is valid in intuitionistic modal logic?
scientific article; zbMATH DE number 6062920