On topological models of intuitionistic epistemic logic

The intuitionistic logic H4 with the modality of knowledge is in some way dual to the classical modal logic S4. I will talk about two types of topological models of the logic H4: models with a dense distinguished subset, as well as bitopological models.