\Combinações de lógicas modais não-normais\

Autor(es)

Rogerio Augusto dos Santos Fajardo

• Tipo de documento: Dissertação de Mestrado
• Imprenta: São Paulo.
• Instituição: Universidade de São Paulo (USP). Instituto de Matemática e Estatística (IME/SBI)
• Data de defesa: 2004-08-13

Membros da banca

Marcelo Finger; Mario Roberto Folhadela Benevides; Maria Angela Weiss

• Orientador: Marcelo Finger

Resumo

Neste trabalho, estudamos algumas formas de combinar sistemas de Lógica Modal, analisando quando a combinação preserva propriedades como correção, completude e decidibilidade. Estendemos um estudo já realizado sobre combinações de sistemas de Lógica Modal Normal para sistemas de Lógica Modal Não-normal. O principal resultado deste trabalho é a preservação de completude da aplicação externa de um sistema de Lógica Modal Não-normal M em um sistema lógico L. Outro resultado importante é um exemplo de interação forte na combinação independente, ou fusão, de dois sistemas de Lógica Modal Não-normal. (AU)

• Processo FAPESP: 02/10369-7 - Combinações de lógicas modais não-normais
• Beneficiário: Rogerio Augusto dos Santos Fajardo
• Modalidade de apoio: Bolsas no Brasil - Mestrado