LOPES, Bruno et al. Revisiting the proof theory of Classical S4. O que nos faz pensar, [S.l.], v. 25, n. 39, p. 71-86, dec. 2016. ISSN 0104-6675. Disponível em: <http://www.oquenosfazpensar.fil.puc-rio.br/index.php/oqnfp/article/view/511>. Acesso em: 28 may 2022.