(In)completude modal por (N)matrizes finitas

Detalhes bibliográficos
Autor(a) principal: Peron, Newton Marques, 1982-
Data de Publicação: 2014
Tipo de documento: Tese
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Texto Completo: https://hdl.handle.net/20.500.12733/1623358
Resumo: Orientador: Marcelo Esteban Coniglio
id UNICAMP-30_409c2f3a89850792137f4d1870636f3a
oai_identifier_str oai::932590
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling (In)completude modal por (N)matrizes finitasModal (in)completeness by finite NmatricesModalidade (Lógica)Modality (Logic)Orientador: Marcelo Esteban ConiglioTese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências HumanasResumo: 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 finitasAbstract: 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 matricesDoutoradoFilosofiaDoutor em Filosofia[s.n.]Coniglio, Marcelo Esteban, 1963-Mortari, Cezar AugustoCerro, Luis Fariñas delFinger, MarceloCarnielli, Walter AlexandreUniversidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências HumanasPrograma de Pós-Graduação em FilosofiaUNIVERSIDADE ESTADUAL DE CAMPINASPeron, Newton Marques, 1982-2014info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdf60 f. : il.https://hdl.handle.net/20.500.12733/1623358PERON, 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: https://hdl.handle.net/20.500.12733/1623358. Acesso em: 3 set. 2024.https://repositorio.unicamp.br/acervo/detalhe/932590porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2017-02-18T07:24:24Zoai::932590Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2017-02-18T07:24:24Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv (In)completude modal por (N)matrizes finitas
Modal (in)completeness by finite Nmatrices
title (In)completude modal por (N)matrizes finitas
spellingShingle (In)completude modal por (N)matrizes finitas
Peron, Newton Marques, 1982-
Modalidade (Lógica)
Modality (Logic)
title_short (In)completude modal por (N)matrizes finitas
title_full (In)completude modal por (N)matrizes finitas
title_fullStr (In)completude modal por (N)matrizes finitas
title_full_unstemmed (In)completude modal por (N)matrizes finitas
title_sort (In)completude modal por (N)matrizes finitas
author Peron, Newton Marques, 1982-
author_facet Peron, Newton Marques, 1982-
author_role author
dc.contributor.none.fl_str_mv Coniglio, Marcelo Esteban, 1963-
Mortari, Cezar Augusto
Cerro, Luis Fariñas del
Finger, Marcelo
Carnielli, Walter Alexandre
Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas
Programa de Pós-Graduação em Filosofia
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Peron, Newton Marques, 1982-
dc.subject.por.fl_str_mv Modalidade (Lógica)
Modality (Logic)
topic Modalidade (Lógica)
Modality (Logic)
description Orientador: Marcelo Esteban Coniglio
publishDate 2014
dc.date.none.fl_str_mv 2014
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/20.500.12733/1623358
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: https://hdl.handle.net/20.500.12733/1623358. Acesso em: 3 set. 2024.
url https://hdl.handle.net/20.500.12733/1623358
identifier_str_mv 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: https://hdl.handle.net/20.500.12733/1623358. Acesso em: 3 set. 2024.
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/932590
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
60 f. : il.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1809189113522290688

Registros relacionados