J. Rasga and C. Sernadas, “On combining intuitionistic and S4 modal logic”, B Sect Log, p. 24 pp., Jun. 2024.