J. Rasga and C. Sernadas, “On Combining Intuitionistic and S4 Modal Logic”, B Sect Log, vol. 53, no. 3, pp. 321–344, Jun. 2024.