Resumo

CASTRO-MANZANO, J.-Martín. Un método de árboles para la lógica de términos modal. Rev. filos.open insight [online]. 2020, vol.11, n.23, pp.165-180.  Epub 21-Abr-2023. ISSN 2395-8936.  https://doi.org/10.23924/oi.v11i23.422.

En esta contribución ofrecemos un método de árboles para la lógica de términos modal de Englebretsen. El resultado es un método arborescente capaz de modelar inferencia en lógica proposicional, silogística básica, silogística relacional y silogística modal.

Palavras-chave : árboles semánticos; lógica de términos; lógica modal.