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