Hałapacz, M. A. On Certain Completeness Results for S4.2 Modal Logic and Its Applications in Modal Logics of Classes of Structures. B Sect Log 2026, 10 pp. https://doi.org/10.18778/0138-0680.2026.16.