Castro-Manzano JM. Un método de árboles para la lógica de términos modal. OI [Internet]. 29 de septiembre de 2020 [citado 26 de diciembre de 2024];11(23):165-80. Disponible en: http://openinsight.com.mx/index.php/open/article/view/422