H. Marciuš and T. Perkov, “Hennessy-Milner Theorems for Topological Semantics of Modal Logic”, B Sect Log, p. 11 pp., Sep. 2026, doi: 10.18778/0138-0680.2026.25.