Rasga, J. and Sernadas, C. (2024) “On Combining Intuitionistic and S4 Modal Logic”, Bulletin of the Section of Logic, 53(3), pp. 321–344. doi: 10.18778/0138-0680.2024.11.