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