Castro-Manzano, J. M. (2020). Un método de árboles para la lógica de términos modal. Open Insight, 11(23), 165-180. https://doi.org/10.23924/oi.v11i23.422