[1]
J. M. Castro-Manzano, «Un método de árboles para la lógica de términos modal», OI, vol. 11, n.º 23, jun. 2020.