Witczak T. Topological and Multi-Topological Frames in the Context of Intuitionistic Modal Logic. B Sect Log. 2019;48(3):187-205. doi:10.18778/0138-0680.48.3.03