Lógica proposicional modal

Detalhes bibliográficos
Autor(a) principal: Henriques, Ana Cristina Felizardo
Data de Publicação: 2009
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10773/9457
Resumo: O presente trabalho oferece uma alternativa para a semântica de Kripke dando ênfase ao valor de uma fórmula em lugar da original definição da semântica de Kripke. Desta forma o raciocínio desenvolve-se principalmente em torno de conceitos da teoria elementar de conjuntos, ao invés da lógica de 1ª ordem, o que nos parece ser uma abordagem mais natural e compacta do tema. São examinados os tópicos verdade e validade num modelo e numa estrutura, equivalência entre fórmulas de 1ª ordem e fórmulas proposicionais modais, aplicações da teoria de prova e lógicas normais, incluindo o modelo canónico para lógicas normais.
id RCAP_48bafb9277e443a0f8c268a410b62639
oai_identifier_str oai:ria.ua.pt:10773/9457
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Lógica proposicional modalLógica simbólica e matemáticaLógica proposicionalO presente trabalho oferece uma alternativa para a semântica de Kripke dando ênfase ao valor de uma fórmula em lugar da original definição da semântica de Kripke. Desta forma o raciocínio desenvolve-se principalmente em torno de conceitos da teoria elementar de conjuntos, ao invés da lógica de 1ª ordem, o que nos parece ser uma abordagem mais natural e compacta do tema. São examinados os tópicos verdade e validade num modelo e numa estrutura, equivalência entre fórmulas de 1ª ordem e fórmulas proposicionais modais, aplicações da teoria de prova e lógicas normais, incluindo o modelo canónico para lógicas normais.In this work we present some topics of modal logic, offering an alternative to the usual first order stile presentation of Kripke’s semantics, by means of the concept of value of a formula. In this way the reasoning takes place mainly in the context of elementary set theory, instead of straight first order logic. This appears to be a more natural and compact approach to the subject. The topics dealt with here are truth and validity in a model and in a frame, equivalence between some first order properties of binary relations and modal schemata, proof theory, and normal logics, including canonical models for normal logics.Universidade de Aveiro2013-01-04T15:31:12Z2009-01-01T00:00:00Z2009info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://hdl.handle.net/10773/9457porHenriques, Ana Cristina Felizardoinfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2024-05-06T03:43:59Zoai:ria.ua.pt:10773/9457Portal AgregadorONGhttps://www.rcaap.pt/oai/openairemluisa.alvim@gmail.comopendoar:71602024-05-06T03:43:59Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Lógica proposicional modal
title Lógica proposicional modal
spellingShingle Lógica proposicional modal
Henriques, Ana Cristina Felizardo
Lógica simbólica e matemática
Lógica proposicional
title_short Lógica proposicional modal
title_full Lógica proposicional modal
title_fullStr Lógica proposicional modal
title_full_unstemmed Lógica proposicional modal
title_sort Lógica proposicional modal
author Henriques, Ana Cristina Felizardo
author_facet Henriques, Ana Cristina Felizardo
author_role author
dc.contributor.author.fl_str_mv Henriques, Ana Cristina Felizardo
dc.subject.por.fl_str_mv Lógica simbólica e matemática
Lógica proposicional
topic Lógica simbólica e matemática
Lógica proposicional
description O presente trabalho oferece uma alternativa para a semântica de Kripke dando ênfase ao valor de uma fórmula em lugar da original definição da semântica de Kripke. Desta forma o raciocínio desenvolve-se principalmente em torno de conceitos da teoria elementar de conjuntos, ao invés da lógica de 1ª ordem, o que nos parece ser uma abordagem mais natural e compacta do tema. São examinados os tópicos verdade e validade num modelo e numa estrutura, equivalência entre fórmulas de 1ª ordem e fórmulas proposicionais modais, aplicações da teoria de prova e lógicas normais, incluindo o modelo canónico para lógicas normais.
publishDate 2009
dc.date.none.fl_str_mv 2009-01-01T00:00:00Z
2009
2013-01-04T15:31:12Z
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://hdl.handle.net/10773/9457
url http://hdl.handle.net/10773/9457
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 de Aveiro
publisher.none.fl_str_mv Universidade de Aveiro
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv mluisa.alvim@gmail.com
_version_ 1817543478925590528

Registros relacionados