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