T. Witczak, “Topological and Multi-Topological Frames in the Context of Intuitionistic Modal Logic”, B Sect Log, vol. 48, no. 3, pp. 187–205, Oct. 2019.