Rasga, J.; Sernadas, C. On Combining Intuitionistic and S4 Modal Logic. B Sect Log 2024, 24 pp..