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