Rasga J, Sernadas C. On Combining Intuitionistic and S4 Modal Logic. B Sect Log [Internet]. 2024 Jun. 5 [cited 2025 Dec. 6];53(3):321-44. Available from: https://czasopisma.uni.lodz.pl/bulletin/article/view/18364