\"Combinações de lógicas modais não-normais\"

Detalhes bibliográficos
Ano de defesa: 2004
Autor(a) principal: Fajardo, Rogerio Augusto dos Santos
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Biblioteca Digitais de Teses e Dissertações da USP
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
completeness
completude
decidability
decidibilidade
logic
lógica
Lógica Modal
modal logic
Link de acesso: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-13122007-203348/
Resumo: Neste trabalho, estudamos algumas formas de combinar sistemas de Lógica Modal, analisando quando a combinação preserva propriedades como correção, completude e decidibilidade. Estendemos um estudo já realizado sobre combinações de sistemas de Lógica Modal Normal para sistemas de Lógica Modal Não-normal. O principal resultado deste trabalho é a preservação de completude da aplicação externa de um sistema de Lógica Modal Não-normal M em um sistema lógico L. Outro resultado importante é um exemplo de interação forte na combinação independente, ou fusão, de dois sistemas de Lógica Modal Não-normal.
id USP_0d097a85489a1a0ec3f94256bacec309
oai_identifier_str oai:teses.usp.br:tde-13122007-203348
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str
spelling \"Combinações de lógicas modais não-normais\"\"Combinations of non-normal modal logics\"completenesscompletudedecidabilitydecidibilidadelogiclógicaLógica Modalmodal logicNeste trabalho, estudamos algumas formas de combinar sistemas de Lógica Modal, analisando quando a combinação preserva propriedades como correção, completude e decidibilidade. Estendemos um estudo já realizado sobre combinações de sistemas de Lógica Modal Normal para sistemas de Lógica Modal Não-normal. O principal resultado deste trabalho é a preservação de completude da aplicação externa de um sistema de Lógica Modal Não-normal M em um sistema lógico L. Outro resultado importante é um exemplo de interação forte na combinação independente, ou fusão, de dois sistemas de Lógica Modal Não-normal.In this work, we study a few ways of combining Modal Logic systems, analysing when the combination preserves properties like soundness, completeness and decidability. We extend a study of the combination of Normal Modal Logic systems to Non-normal Modal Logic systems. The main result of this work is the completeness preservation in the external application of a Non-normal Modal Logic system M to a logic system L. Another important result is an example of strong interations arising in the fusion of two Non-normal Modal Logic system.Biblioteca Digitais de Teses e Dissertações da USPFinger, MarceloFajardo, Rogerio Augusto dos Santos2004-08-13info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://www.teses.usp.br/teses/disponiveis/45/45131/tde-13122007-203348/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2016-07-28T16:09:55Zoai:teses.usp.br:tde-13122007-203348Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212016-07-28T16:09:55Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv \"Combinações de lógicas modais não-normais\"
\"Combinations of non-normal modal logics\"
title \"Combinações de lógicas modais não-normais\"
spellingShingle \"Combinações de lógicas modais não-normais\"
Fajardo, Rogerio Augusto dos Santos
completeness
completude
decidability
decidibilidade
logic
lógica
Lógica Modal
modal logic
title_short \"Combinações de lógicas modais não-normais\"
title_full \"Combinações de lógicas modais não-normais\"
title_fullStr \"Combinações de lógicas modais não-normais\"
title_full_unstemmed \"Combinações de lógicas modais não-normais\"
title_sort \"Combinações de lógicas modais não-normais\"
author Fajardo, Rogerio Augusto dos Santos
author_facet Fajardo, Rogerio Augusto dos Santos
author_role author
dc.contributor.none.fl_str_mv Finger, Marcelo
dc.contributor.author.fl_str_mv Fajardo, Rogerio Augusto dos Santos
dc.subject.por.fl_str_mv completeness
completude
decidability
decidibilidade
logic
lógica
Lógica Modal
modal logic
topic completeness
completude
decidability
decidibilidade
logic
lógica
Lógica Modal
modal logic
description Neste trabalho, estudamos algumas formas de combinar sistemas de Lógica Modal, analisando quando a combinação preserva propriedades como correção, completude e decidibilidade. Estendemos um estudo já realizado sobre combinações de sistemas de Lógica Modal Normal para sistemas de Lógica Modal Não-normal. O principal resultado deste trabalho é a preservação de completude da aplicação externa de um sistema de Lógica Modal Não-normal M em um sistema lógico L. Outro resultado importante é um exemplo de interação forte na combinação independente, ou fusão, de dois sistemas de Lógica Modal Não-normal.
publishDate 2004
dc.date.none.fl_str_mv 2004-08-13
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.uri.fl_str_mv http://www.teses.usp.br/teses/disponiveis/45/45131/tde-13122007-203348/
url http://www.teses.usp.br/teses/disponiveis/45/45131/tde-13122007-203348/
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv
dc.rights.driver.fl_str_mv Liberar o conteúdo para acesso público.
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Liberar o conteúdo para acesso público.
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.coverage.none.fl_str_mv
dc.publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
dc.source.none.fl_str_mv
reponame:Biblioteca Digital de Teses e Dissertações da USP
instname:Universidade de São Paulo (USP)
instacron:USP
instname_str Universidade de São Paulo (USP)
instacron_str USP
institution USP
reponame_str Biblioteca Digital de Teses e Dissertações da USP
collection Biblioteca Digital de Teses e Dissertações da USP
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)
repository.mail.fl_str_mv virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br
_version_ 1815258109579362304

Registros relacionados