Rasga, J.; Sernadas, C. On Combining Intuitionistic and S4 Modal Logic. B Sect Log 2024, 53, 321-344.