Rasga, João, and Cristina Sernadas. “On Combining Intuitionistic and S4 Modal Logic”. Bulletin of the Section of Logic, June 2024, p. 24 pp., doi:10.18778/0138-0680.2024.11.