Castro-Manzano, José Martín. «Un método De árboles Para La lógica De términos Modal». Open Insight 11, no. 23 (junio 18, 2020). Accedido enero 19, 2022. http://openinsight.com.mx/index.php/open/article/view/422.