Rasga J, Sernadas C. On Combining Intuitionistic and S4 Modal Logic. B Sect Log. 2024;53(3):321-344. doi:10.18778/0138-0680.2024.11