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

• Processo: 02/10369-7
• Modalidade de apoio: Bolsas no Brasil - Mestrado
• Data de Início da vigência: 01 de março de 2003
• Data de Término da vigência: 31 de agosto de 2004
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Matemática da Computação
• Pesquisador responsável: Marcelo Finger
• Beneficiário: Rogerio Augusto dos Santos Fajardo
• Instituição Sede: Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brasil
• Assunto(s): Lógica modal Lógica modal normal Modelos minimais Semânticas de Kripke
• Palavra(s)-Chave do Pesquisador: Logica | Logica Normal | Logica Temporal | Modelos De Kripke | Modelos Minimais | Teoria Das Provas

Resumo

O projeto visa estudar as duas principais formas de combinações de sistemas de Lógica Modal e Temporal: a fusão e a modalização. A primeira consiste na combinação independente de dois ou mais sistemas de Lógica Modal, unindo seus conectivos da linguagem e suas axiomatizações. A segunda consiste na aplicação externa de uma Lógica Modal a um sistema lógico genérico. Estudaremos a preservação de correção, completude e decidibilidade do sistema obtido, enfatizando o caso em que se trabalha com Lógica Modal Não-normal, que, baseada nos modelos minimais, generaliza a semântica da Lógica Modal Normal, baseada no modelo de Kripke. (AU)

Publicações acadêmicas

(Referências obtidas automaticamente das Instituições de Ensino e Pesquisa do Estado de São Paulo)

FAJARDO, Rogerio Augusto dos Santos. \Combinações de lógicas modais não-normais\. 2004. Dissertação de Mestrado - Universidade de São Paulo (USP). Instituto de Matemática e Estatística (IME/SBI) São Paulo.