(In)completude modal por (N)matrizes finitas
Modal (in)completeness by finite Nmatrices
| dc.creator | Peron, Newton Marques, 1982 | |
| dc.date | 2014 | |
| dc.date | 2017-04-02T06:48:37Z | |
| dc.date | 2017-07-14T20:12:50Z | |
| dc.date | 2017-04-02T06:48:37Z | |
| dc.date | 2017-07-14T20:12:50Z | |
| dc.date.accessioned | 2018-03-29T04:12:28Z | |
| dc.date.available | 2018-03-29T04:12:28Z | |
| dc.identifier | PERON, Newton Marques. (In)completude modal por (N)matrizes finitas. 2014. 60 f. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas, Campinas, SP. Disponível em: <http://www.bibliotecadigital.unicamp.br/document/?code=000932590>. Acesso em: 2 abr. 2017. | |
| dc.identifier | http://repositorio.unicamp.br/jspui/handle/REPOSIP/281196 | |
| dc.identifier.uri | http://repositorioslatinoamericanos.uchile.cl/handle/2250/1342425 | |
| dc.description | Orientador: Marcelo Esteban Coniglio | |
| dc.description | Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas | |
| dc.description | 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 | |
| dc.description | 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 | |
| dc.description | Doutorado | |
| dc.description | Filosofia | |
| dc.description | Doutor em Filosofia | |
| dc.format | 60 f. : il. | |
| dc.format | application/pdf | |
| dc.language | Português | |
| dc.publisher | [s.n.] | |
| dc.subject | Modalidade (Lógica) | |
| dc.subject | Modality (Logic) | |
| dc.title | (In)completude modal por (N)matrizes finitas | |
| dc.title | Modal (in)completeness by finite Nmatrices | |
| dc.type | Tesis |