Castro-Manzano, José Martín. 2020. «Un método De árboles Para La lógica De términos Modal». Open Insight 11 (23), 165-80. https://doi.org/10.23924/oi.v11i23.422.