O método de tableaux aplicado a Lógica modal normal S5

• Processo: 19/23436-5
• Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
• Data de Início da vigência: 01 de dezembro de 2019
• Data de Término da vigência: 30 de novembro de 2020
• Área de conhecimento: Ciências Exatas e da Terra - Matemática
• Pesquisador responsável: Luiz Henrique da Cruz Silvestrini
• Beneficiário: Gabriela Stéfany Cirilo
• Instituição Sede: Faculdade de Ciências (FC). Universidade Estadual Paulista (UNESP). Campus de Bauru. Bauru , SP, Brasil
• Assunto(s): Lógica matemática Lógica modal normal Método dos Tableaux
• Palavra(s)-Chave do Pesquisador: lógica modal normal S5 | lógicas modais | Método de tableaux analíticos | Lógica matemática

Resumo

Em 1932, Lewis e Langford publicaram o trabalho denominado Symbolic Logic, no qual introduziram as noções da lógica modal normal S5. Esta lógica utiliza os operadores ¡ (necessário) e Ê (possível) como novos símbolos da linguagem-objeto. No ambiente semântico a lá Kripke, temos contextos de reflexibilidade, simetria e transitividade entre os mundos. O objetivo deste projeto de iniciação científica é reconhecer o método dos tableaux analíticos, enquanto alternativo ao hilbertiano; e ainda, investigar o método dos tableaux para um sistema modal, particularmente o sistema S5.