Rasga, João, and Cristina Sernadas. 2024. “On Combining Intuitionistic and S4 Modal Logic”. Bulletin of the Section of Logic 53 (3):321-44. https://doi.org/10.18778/0138-0680.2024.11.