CASTRO-MANZANO, J. M. Un método de árboles para la lógica de términos modal. Open Insight, v. 11, n. 23, 18 jun. 2020.