Palavra-chave: REVISÃO DE CRENÇAS

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