Castro-Manzano, J.M. 2020. A Tableaux Method for Modal Term Logic. Open Insight. 11, 23 (Sep. 2020), 165-180. DOI:https://doi.org/10.23924/oi.v11i23.422.