SISTEMAS DE LÓGICA MODAL EM DEDUÇÃO NATURAL
.
A formalizacao de sistemas de logica em deducao natural traz muitas vantagens meta-teoreticas, das quais e sempre destacada a prova de normalizacao. Os sistemas de logica modal ate bem recentemente nao eram costumeiramente tratados pelo vies da deducao natural, contudo algumas formulacoes, provas de normalizacao e tentativas de provas surgiram. Esse trabalho e uma apresentacao de alguns sistemas importantes de logica modal em deducao natural ja existentes, e de alguns procedimentos de normalizacao para eles, mas e tambem, e principalmente, a apresentacao de uma hierarquia de sistemas de logica modal em Deducao Natural do sistema K ao sistema S5 e um esquema da prova de normalizacao do sistema K, que e modelo para a normalizacao nos outros sistemas.