Marciuš, H.; Perkov, T. Hennessy-Milner Theorems for Topological Semantics of Modal Logic. B Sect Log 2026, 11 pp. https://doi.org/10.18778/0138-0680.2026.25.