Witczak, T. Topological and Multi-Topological Frames in the Context of Intuitionistic Modal Logic. B Sect Log 2019, 48, 187-205.