Rasga, João, and Cristina Sernadas. “On Combining Intuitionistic and S4 Modal Logic”. Bulletin of the Section of Logic (June 5, 2024): 24 pp. Accessed July 22, 2024. https://czasopisma.uni.lodz.pl/bulletin/article/view/18364.