Topological duality for intuitionistic modal algebras
scientific article; zbMATH DE number 1455906