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