Castro-Manzano, J. M. (2020). Un método de árboles para la lógica de términos modal. Open Insight, 11(23). Recuperado a partir de http://openinsight.com.mx/index.php/open/article/view/422