Palavra-chave: REVISÃO DE CRENÇAS

LÓGICA PARACONSISTENTE COMBINAÇÕES ENTRE LÓGICAS LÓGICAS NÃO-CLÁSSICAS EPISTEMOLOGIA INTELIGÊNCIA ARTIFICIAL TEORIA DE MODELOS LÓGICAS DA INCONSISTÊNCIA FORMAL LÓGICAS ABSTRATAS LÓGICAS NÃO-MONOTÔNICAS LÓGICA TRADUÇÕES ENTRE LÓGICAS EPISTEMOLOGIA FORMAL