RASGA, João; SERNADAS, Cristina. On combining intuitionistic and S4 modal logic. Bulletin of the Section of Logic, [S. l.], p. 24 pp., 2024. DOI: 10.18778/0138-0680.2024.11. Disponível em: https://czasopisma.uni.lodz.pl/bulletin/article/view/18364. Acesso em: 22 jul. 2024.