Veloso, P., & Veloso, S. (2016). On Graphical Calculi for Modal Logics. O Que Nos Faz Pensar, 25(39), 157-191. Recuperado de http://www.oquenosfazpensar.fil.puc-rio.br/index.php/oqnfp/article/view/518