Marciuš, Helena, and Tin Perkov. “Hennessy-Milner Theorems for Topological Semantics of Modal Logic”. Bulletin of the Section of Logic (September 8, 2026): 11 pp. Accessed September 29, 2026. https://www.czasopisma.uni.lodz.pl/bulletin/article/view/29021.