Sistemas de lógica modal em dedução natural

• Ano de defesa: 2010
• Autor(a) principal: Costa, David Gomes
• Orientador(a): Medeiros, Maria da Paz Nunes de
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Universidade Federal do Rio Grande do Norte
• Programa de Pós-Graduação: Programa de Pós-Graduação em Filosofia
• Departamento: Metafísica
• País: BR
• Palavras-chave em Português: Lógica; Modalidade (Lógica); Normalização
• Área do conhecimento CNPq: CNPQ::CIENCIAS HUMANAS::FILOSOFIA
• Link de acesso: https://repositorio.ufrn.br/jspui/handle/123456789/16476

Formalization of logical systems in natural deduction brings many metatheoretical advantages, which Normalization proof is always highlighted. Modal logic systems, until very recently, were not routinely formalized in natural deduction, though some formulations and Normalization proofs are known. This work is a presentation of some important known systems of modal logic in natural deduction, and some Normalization procedures for them, but it is also and mainly a presentation of a hierarchy of modal logic systems in natural deduction, from K until S5, together with an outline of a Normalization proof for the system K, which is a model for Normalization in other systems