Orientador: Marcelo Esteban Coniglio / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-25T12:43:36Z (GMT). No. of bitstreams: 1
Peron_NewtonMarques_D.pdf: 1773917 bytes, checksum: da2d2a1b1ecf8da6e26e419dee4888c5 (MD5)
Previous issue date: 2014 / 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 / Abstract: This is a study on the feasibility of finite matrices as semantics for modal logics. We separate our analysis into two cases: deterministic and non-deterministic matrices. In the first case, we generalize Dugundji's Incompleteness Theorem, ensuring that a wide family of modal logic cannot be characterized by deterministic finite matrices. In the second, we extend the non-deterministic matrices semantics to modal logics proposed independently by Kearns and Ivlev. This extension embraces modal systems that, according to our generalization, cannot be characterized by finite deterministic matrices / Doutorado / Filosofia / Doutor em Filosofia
Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.unicamp.br:REPOSIP/281196 |
Date | 25 August 2018 |
Creators | Peron, Newton Marques, 1982- |
Contributors | UNIVERSIDADE ESTADUAL DE CAMPINAS, Coniglio, Marcelo Esteban, 1963-, Mortari, Cezar Augusto, Cerro, Luis Fariñas del, Finger, Marcelo, Carnielli, Walter Alexandre |
Publisher | [s.n.], Universidade Estadual de Campinas. Instituto de Filosofia e Ciências Humanas, Programa de Pós-Graduação em Filosofia |
Source Sets | IBICT Brazilian ETDs |
Language | Portuguese |
Detected Language | Portuguese |
Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/doctoralThesis |
Format | 60 f. : il., application/pdf |
Source | reponame:Repositório Institucional da Unicamp, instname:Universidade Estadual de Campinas, instacron:UNICAMP |
Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0013 seconds