Rasga J, Sernadas C. On combining intuitionistic and S4 modal logic. B Sect Log [Internet]. 2024 Jun. 5 [cited 2024 Jul. 22];:24 pp. Available from: https://czasopisma.uni.lodz.pl/bulletin/article/view/18364