(In)completude modal por (N)matrizes finitas

Autor(es)

Newton Marques Peron

• Tipo de documento: Tese de Doutorado
• Imprenta: Campinas, SP.
• Instituição: Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas
• Data de defesa: 2014-02-20

Membros da banca

Marcelo Esteban Coniglio; Cezar Augusto Mortari; Luis Fariñas del Cerro; Marcelo Finger; Walter Alexandre Carnielli

• Orientador: Marcelo Esteban Coniglio

Resumo

Esse é um estudo sobre a viabilidade de matrizes finitas como semântica para lógica modal. Separamos nossa análise em dois casos: matrizes determinísticas e não-determinísticas. No primeiro caso, generalizamos o Teorema de Incompletude de Dugundji, garantindo que uma vasta família de lógicas modais não pode ser caracterizada por matrizes determinísticas finitas. No segundo caso, ampliamos a semântica de matrizes não- determinísticas para lógica modal proposta independentemente por Kearns e Ivlev. Essa ampliação engloba sistemas modais que, de acordo com nossa generalização, não podem ser caracterizados por matrizes determinísticas finitas (AU)

• Processo FAPESP: 09/10239-5 - Um estudo da Lógica Modal paraconsistente avançada
• Beneficiário: Newton Marques Peron
• Modalidade de apoio: Bolsas no Brasil - Doutorado