On rich modal logics

Detalhes bibliográficos
Autor(a) principal: Dodó, Adriano Alves
Data de Publicação: 2013
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFRN
Texto Completo: https://repositorio.ufrn.br/jspui/handle/123456789/18688
Resumo: I thank to my advisor, João Marcos, for the intellectual support and patience that devoted me along graduate years. With his friendship, his ability to see problems of the better point of view and his love in to make Logic, he became a great inspiration for me. I thank to my committee members: Claudia Nalon, Elaine Pimentel and Benjamin Bedregal. These make a rigorous lecture of my work and give me valuable suggestions to make it better. I am grateful to the Post-Graduate Program in Systems and Computation that accepted me as student and provided to me the propitious environment to develop my research. I thank also to the CAPES for a 21 months fellowship. Thanks to my research group, LoLITA (Logic, Language, Information, Theory and Applications). In this group I have the opportunity to make some friends. Someone of them I knew in my early classes, they are: Sanderson, Haniel and Carol Blasio. Others I knew during the course, among them I’d like to cite: Patrick, Claudio, Flaulles and Ronildo. I thank to Severino Linhares and Maria Linhares who gently hosted me at your home in my first months in Natal. This couple jointly with my colleagues of student flat Fernado, Donátila and Aline are my nuclear family in Natal. I thank my fiancée Luclécia for her precious a ective support and to understand my absence at home during my master. I thank also my parents Manoel and Zenilda, my siblings Alexandre, Paulo and Paula.Without their confidence and encouragement I wouldn’t achieve success in this journey. If you want the hits, be prepared for the misses Carl Yastrzemski
id UFRN_4245f156efd6f151009ee69f726b8e5f
oai_identifier_str oai:https://repositorio.ufrn.br:123456789/18688
network_acronym_str UFRN
network_name_str Repositório Institucional da UFRN
repository_id_str
spelling Dodó, Adriano Alveshttp://lattes.cnpq.br/5374175200188654http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4781417E7Nalon, Cláudiahttp://lattes.cnpq.br/7793795625581127Pimentel, Elaine Gouvêahttp://lattes.cnpq.br/3298246411086415Almeida, João Marcos deBedregal, Benjamin René Callejas2015-03-03T15:47:48Z2015-02-252015-03-03T15:47:48Z2013-11-19DODÓ, Adriano Alves. On Rich Modal Logics. 2013. 85 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Natal, 2013.https://repositorio.ufrn.br/jspui/handle/123456789/18688I thank to my advisor, João Marcos, for the intellectual support and patience that devoted me along graduate years. With his friendship, his ability to see problems of the better point of view and his love in to make Logic, he became a great inspiration for me. I thank to my committee members: Claudia Nalon, Elaine Pimentel and Benjamin Bedregal. These make a rigorous lecture of my work and give me valuable suggestions to make it better. I am grateful to the Post-Graduate Program in Systems and Computation that accepted me as student and provided to me the propitious environment to develop my research. I thank also to the CAPES for a 21 months fellowship. Thanks to my research group, LoLITA (Logic, Language, Information, Theory and Applications). In this group I have the opportunity to make some friends. Someone of them I knew in my early classes, they are: Sanderson, Haniel and Carol Blasio. Others I knew during the course, among them I’d like to cite: Patrick, Claudio, Flaulles and Ronildo. I thank to Severino Linhares and Maria Linhares who gently hosted me at your home in my first months in Natal. This couple jointly with my colleagues of student flat Fernado, Donátila and Aline are my nuclear family in Natal. I thank my fiancée Luclécia for her precious a ective support and to understand my absence at home during my master. I thank also my parents Manoel and Zenilda, my siblings Alexandre, Paulo and Paula.Without their confidence and encouragement I wouldn’t achieve success in this journey. If you want the hits, be prepared for the misses Carl YastrzemskiEsta dissertação trata do enriquecimento de lógicas modais. O termo enriquecimento é usado em dois sentidos distintos. No primeiro deles, de fundo semântico, propomos uma semântica difusa para diversas lógicas modais normais e demonstramos um resultado de completude para uma extensa classe dessas lógicas enriquecidas com múltiplas instâncias do axioma da confluência. Um fato curioso a respeito dessa semântica é que ela se comporta como as semânticas de Kripke usuais. O outro enriquecimento diz respeito à expressividade da lógica e se dá por meio da adição de novos conectivos, especialmente de negações modais. Neste sentido, estudamos inicialmente o fragmento da lógica clássica positiva estendido com uma negação modal paraconsistente e mostramos que essa linguagem é forte o suficiente para expressar as linguagens modais normais. Vemos que também é possível definir uma negação modal paracompleta e conectivos de restauração que internalizam as noções de consistência e determinação a nível da linguagem-objeto. Esta lógica constitui-se em uma Lógica da Inconsistência Formal e em uma Lógica da Indeterminação Formal. Em tais lógicas, com o objetivo de recuperar inferências clássicas perdidas, demonstram-se Teoremas de Ajuste de Derivabilidade. No caso da lógica estendida com uma negação paraconsistente, se removermos a implicação ainda lidaremos com uma linguagem bastante rica, com ambas negações paranormais e seus respectivos conectivos de restauração. Sobre esta linguagem estudamos a lógica modal normal minimal definida por meio de um cálculo de Gentzen apropriado, à diferença dos demais sistemas estudados até então, que são apresentados via cálculo de Hilbert. Em seguida após demonstrarmos a completude do sistema dedutivo associado a este cálculo, introduzimos algumas extensões desse sistema e buscamos Teoremas de Ajuste de Derivabilidade adequadosCoordenação de Aperfeiçoamento de Pessoal de Nível Superiorapplication/pdfporUniversidade Federal do Rio Grande do NortePrograma de Pós-Graduação em Sistemas e ComputaçãoUFRNBRCiência da ComputaçãoLógica modal. Lógica paranormal. Lógica difusaModal Logics. Paranormal Logics. Fuzzy LogicsCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAOOn rich modal logicsOn Rich Modal Logicsinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFRNinstname:Universidade Federal do Rio Grande do Norte (UFRN)instacron:UFRNORIGINALAdrianoAD_DISSERT.pdfapplication/pdf771338https://repositorio.ufrn.br/bitstream/123456789/18688/1/AdrianoAD_DISSERT.pdf06adea5feab9914c5a48eb146511b556MD51TEXTAdrianoAD_DISSERT.pdf.txtAdrianoAD_DISSERT.pdf.txtExtracted texttext/plain161649https://repositorio.ufrn.br/bitstream/123456789/18688/6/AdrianoAD_DISSERT.pdf.txt92d81b80ca57c93a04c1ec6a9e37bc47MD56THUMBNAILAdrianoAD_DISSERT.pdf.jpgAdrianoAD_DISSERT.pdf.jpgIM Thumbnailimage/jpeg2464https://repositorio.ufrn.br/bitstream/123456789/18688/7/AdrianoAD_DISSERT.pdf.jpg653eb5797bb0bafdb8e06ed107476221MD57123456789/186882017-11-03 01:29:30.34oai:https://repositorio.ufrn.br:123456789/18688Repositório de PublicaçõesPUBhttp://repositorio.ufrn.br/oai/opendoar:2017-11-03T04:29:30Repositório Institucional da UFRN - Universidade Federal do Rio Grande do Norte (UFRN)false
dc.title.por.fl_str_mv On rich modal logics
dc.title.alternative.eng.fl_str_mv On Rich Modal Logics
title On rich modal logics
spellingShingle On rich modal logics
Dodó, Adriano Alves
Lógica modal. Lógica paranormal. Lógica difusa
Modal Logics. Paranormal Logics. Fuzzy Logics
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
title_short On rich modal logics
title_full On rich modal logics
title_fullStr On rich modal logics
title_full_unstemmed On rich modal logics
title_sort On rich modal logics
author Dodó, Adriano Alves
author_facet Dodó, Adriano Alves
author_role author
dc.contributor.authorID.por.fl_str_mv
dc.contributor.authorLattes.por.fl_str_mv http://lattes.cnpq.br/5374175200188654
dc.contributor.advisorID.por.fl_str_mv
dc.contributor.advisorLattes.por.fl_str_mv http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4781417E7
dc.contributor.referees1.pt_BR.fl_str_mv Nalon, Cláudia
dc.contributor.referees1ID.por.fl_str_mv
dc.contributor.referees1Lattes.por.fl_str_mv http://lattes.cnpq.br/7793795625581127
dc.contributor.referees2.pt_BR.fl_str_mv Pimentel, Elaine Gouvêa
dc.contributor.referees2ID.por.fl_str_mv
dc.contributor.referees2Lattes.por.fl_str_mv http://lattes.cnpq.br/3298246411086415
dc.contributor.referees3.pt_BR.fl_str_mv Almeida, João Marcos de
dc.contributor.referees3ID.por.fl_str_mv
dc.contributor.author.fl_str_mv Dodó, Adriano Alves
dc.contributor.advisor1.fl_str_mv Bedregal, Benjamin René Callejas
contributor_str_mv Bedregal, Benjamin René Callejas
dc.subject.por.fl_str_mv Lógica modal. Lógica paranormal. Lógica difusa
topic Lógica modal. Lógica paranormal. Lógica difusa
Modal Logics. Paranormal Logics. Fuzzy Logics
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
dc.subject.eng.fl_str_mv Modal Logics. Paranormal Logics. Fuzzy Logics
dc.subject.cnpq.fl_str_mv CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
description I thank to my advisor, João Marcos, for the intellectual support and patience that devoted me along graduate years. With his friendship, his ability to see problems of the better point of view and his love in to make Logic, he became a great inspiration for me. I thank to my committee members: Claudia Nalon, Elaine Pimentel and Benjamin Bedregal. These make a rigorous lecture of my work and give me valuable suggestions to make it better. I am grateful to the Post-Graduate Program in Systems and Computation that accepted me as student and provided to me the propitious environment to develop my research. I thank also to the CAPES for a 21 months fellowship. Thanks to my research group, LoLITA (Logic, Language, Information, Theory and Applications). In this group I have the opportunity to make some friends. Someone of them I knew in my early classes, they are: Sanderson, Haniel and Carol Blasio. Others I knew during the course, among them I’d like to cite: Patrick, Claudio, Flaulles and Ronildo. I thank to Severino Linhares and Maria Linhares who gently hosted me at your home in my first months in Natal. This couple jointly with my colleagues of student flat Fernado, Donátila and Aline are my nuclear family in Natal. I thank my fiancée Luclécia for her precious a ective support and to understand my absence at home during my master. I thank also my parents Manoel and Zenilda, my siblings Alexandre, Paulo and Paula.Without their confidence and encouragement I wouldn’t achieve success in this journey. If you want the hits, be prepared for the misses Carl Yastrzemski
publishDate 2013
dc.date.issued.fl_str_mv 2013-11-19
dc.date.accessioned.fl_str_mv 2015-03-03T15:47:48Z
dc.date.available.fl_str_mv 2015-02-25
2015-03-03T15:47:48Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.citation.fl_str_mv DODÓ, Adriano Alves. On Rich Modal Logics. 2013. 85 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Natal, 2013.
dc.identifier.uri.fl_str_mv https://repositorio.ufrn.br/jspui/handle/123456789/18688
identifier_str_mv DODÓ, Adriano Alves. On Rich Modal Logics. 2013. 85 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Natal, 2013.
url https://repositorio.ufrn.br/jspui/handle/123456789/18688
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidade Federal do Rio Grande do Norte
dc.publisher.program.fl_str_mv Programa de Pós-Graduação em Sistemas e Computação
dc.publisher.initials.fl_str_mv UFRN
dc.publisher.country.fl_str_mv BR
dc.publisher.department.fl_str_mv Ciência da Computação
publisher.none.fl_str_mv Universidade Federal do Rio Grande do Norte
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFRN
instname:Universidade Federal do Rio Grande do Norte (UFRN)
instacron:UFRN
instname_str Universidade Federal do Rio Grande do Norte (UFRN)
instacron_str UFRN
institution UFRN
reponame_str Repositório Institucional da UFRN
collection Repositório Institucional da UFRN
bitstream.url.fl_str_mv https://repositorio.ufrn.br/bitstream/123456789/18688/1/AdrianoAD_DISSERT.pdf
https://repositorio.ufrn.br/bitstream/123456789/18688/6/AdrianoAD_DISSERT.pdf.txt
https://repositorio.ufrn.br/bitstream/123456789/18688/7/AdrianoAD_DISSERT.pdf.jpg
bitstream.checksum.fl_str_mv 06adea5feab9914c5a48eb146511b556
92d81b80ca57c93a04c1ec6a9e37bc47
653eb5797bb0bafdb8e06ed107476221
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFRN - Universidade Federal do Rio Grande do Norte (UFRN)
repository.mail.fl_str_mv
_version_ 1802117578809671680