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