Jim de Groot, Ian Shillito: Intuitionistic S4 as a logic of topological spaces. J. Log. Comput. 35(7) (2025)