Castro-Manzano, J. M. Un método De árboles Para La lógica De términos Modal. OI 2020, 11, 165-180.