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