Rasga, João, and Cristina Sernadas. “On Combining Intuitionistic and S4 Modal Logic”. Bulletin of the Section of Logic 53, no. 3 (June 5, 2024): 321–344. Accessed March 13, 2025. https://czasopisma.uni.lodz.pl/bulletin/article/view/18364.