M. A. Hałapacz, “Modal Logic of Lattices”, B Sect Log, vol. 55, no. 2, pp. 307–319, Jun. 2026, doi: 10.18778/0138-0680.2026.10.