Lopes, B., Englander, C., Lobo, F., & Cruz, M. (2016). Revisiting the proof theory of Classical S4. O Que Nos Faz Pensar, 25(39), 71-86. Recuperado de http://www.oquenosfazpensar.fil.puc-rio.br/index.php/oqnfp/article/view/511