Un estudio a la lógica modal con complejos simpliciales

"La lógica modal fue estudiada por primera vez de manera formal por filósofos griegos Platón y Aristóteles motivados con el fin de dar coherencia a razonamientos lógicos, pensamientos, argumentos e ideas. Con el tiempo distintos personajes históricos como Avicena, Guillermo de Ockham, Dun Scotu...

Descripción completa

Detalles Bibliográficos
Autor: Aponte Pérez, Luis Enrique
Tipo de recurso: tesis de maestría
Estado:Versión publicada
Fecha de publicación:2025
País:México
Institución:Benemérita Universidad Autónoma de Puebla
Repositorio:Repositorio Institucional de Acceso Abierto RIAA-BUAP
Idioma:español
OAI Identifier:oai:repositorioinstitucional.buap.mx:20.500.12371/30216
Acceso en línea:https://hdl.handle.net/20.500.12371/30216
Access Level:acceso abierto
Palabra clave:CIENCIAS FÍSICO MATEMÁTICAS Y CIENCIAS DE LA TIERRA
Matemáticas--Filosofía--Lógica matemática--Sistemas formales no clásicos--Lógica modal
Matemáticas--Geometría--Topología--Topología algebra
Matemáticas--Geometría--Topología--Topología combinatoria
id MX_6ed8dc757cee7782b237daa8bbe3ca9d
oai_identifier_str oai:repositorioinstitucional.buap.mx:20.500.12371/30216
network_acronym_str MX
network_name_str México
repository_id_str
spelling Un estudio a la lógica modal con complejos simplicialesAponte Pérez, Luis EnriqueCIENCIAS FÍSICO MATEMÁTICAS Y CIENCIAS DE LA TIERRAMatemáticas--Filosofía--Lógica matemática--Sistemas formales no clásicos--Lógica modalMatemáticas--Geometría--Topología--Topología algebraMatemáticas--Geometría--Topología--Topología combinatoria"La lógica modal fue estudiada por primera vez de manera formal por filósofos griegos Platón y Aristóteles motivados con el fin de dar coherencia a razonamientos lógicos, pensamientos, argumentos e ideas. Con el tiempo distintos personajes históricos como Avicena, Guillermo de Ockham, Dun Scotus, Gottfried Leibniz, entre otros más, desarrollaron observaciones del trabajo de Aristóteles particularmente de su libro El Órganon. Con el tiempo, Saul Kripke motivado por el trabajo de Gottfried Leibniz sobre los mundos posibles, género una semántica para la lógica modal. Por otro lado, los complejos simpliciales son objetos de estudio de la topología algebraica y la topología combinatoria, que nos ayudan a entender ciertos espacios topológicos mediante el pegado de puntos, segmentos de línea, triángulos, tetraedros y otras formas de mayor dimensión. Nuestro objetivo en esta tesis es estudiar la conexión de los complejos simpliciales como semántica de ciertas lógicas, a saber, la lógica epistémica de multi-agentes y la lógica de accesibilidad. Esta tesis está organizada en cuatro capítulos que expondremos en breve".Benemérita Universidad Autónoma de PueblaMARTINEZ RUIZ, IVAN; 205993LEON MEDINA, JOSE LUIS; 701738Martínez Ruiz, IvánLeón Medina, José Luis2025-11-06T18:38:40Z2025-11-06T18:38:40Z2025-07masterThesisMaestríainfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesispdfapplication/pdfapplication/pdfhttps://hdl.handle.net/20.500.12371/30216reponame:Repositorio Institucional de Acceso Abierto RIAA-BUAPinstname:Benemérita Universidad Autónoma de Pueblainstacron:BUAPspahttp://creativecommons.org/licenses/by-nc-nd/4.0openAccessinfo:eu-repo/semantics/openAccessoai:repositorioinstitucional.buap.mx:20.500.12371/302162026-02-23T03:13:24Z
dc.title.none.fl_str_mv Un estudio a la lógica modal con complejos simpliciales
title Un estudio a la lógica modal con complejos simpliciales
spellingShingle Un estudio a la lógica modal con complejos simpliciales
Aponte Pérez, Luis Enrique
CIENCIAS FÍSICO MATEMÁTICAS Y CIENCIAS DE LA TIERRA
Matemáticas--Filosofía--Lógica matemática--Sistemas formales no clásicos--Lógica modal
Matemáticas--Geometría--Topología--Topología algebra
Matemáticas--Geometría--Topología--Topología combinatoria
title_short Un estudio a la lógica modal con complejos simpliciales
title_full Un estudio a la lógica modal con complejos simpliciales
title_fullStr Un estudio a la lógica modal con complejos simpliciales
title_full_unstemmed Un estudio a la lógica modal con complejos simpliciales
title_sort Un estudio a la lógica modal con complejos simpliciales
dc.creator.none.fl_str_mv Aponte Pérez, Luis Enrique
author Aponte Pérez, Luis Enrique
author_facet Aponte Pérez, Luis Enrique
author_role author
dc.contributor.none.fl_str_mv MARTINEZ RUIZ, IVAN; 205993
LEON MEDINA, JOSE LUIS; 701738
Martínez Ruiz, Iván
León Medina, José Luis
dc.subject.none.fl_str_mv CIENCIAS FÍSICO MATEMÁTICAS Y CIENCIAS DE LA TIERRA
Matemáticas--Filosofía--Lógica matemática--Sistemas formales no clásicos--Lógica modal
Matemáticas--Geometría--Topología--Topología algebra
Matemáticas--Geometría--Topología--Topología combinatoria
topic CIENCIAS FÍSICO MATEMÁTICAS Y CIENCIAS DE LA TIERRA
Matemáticas--Filosofía--Lógica matemática--Sistemas formales no clásicos--Lógica modal
Matemáticas--Geometría--Topología--Topología algebra
Matemáticas--Geometría--Topología--Topología combinatoria
description "La lógica modal fue estudiada por primera vez de manera formal por filósofos griegos Platón y Aristóteles motivados con el fin de dar coherencia a razonamientos lógicos, pensamientos, argumentos e ideas. Con el tiempo distintos personajes históricos como Avicena, Guillermo de Ockham, Dun Scotus, Gottfried Leibniz, entre otros más, desarrollaron observaciones del trabajo de Aristóteles particularmente de su libro El Órganon. Con el tiempo, Saul Kripke motivado por el trabajo de Gottfried Leibniz sobre los mundos posibles, género una semántica para la lógica modal. Por otro lado, los complejos simpliciales son objetos de estudio de la topología algebraica y la topología combinatoria, que nos ayudan a entender ciertos espacios topológicos mediante el pegado de puntos, segmentos de línea, triángulos, tetraedros y otras formas de mayor dimensión. Nuestro objetivo en esta tesis es estudiar la conexión de los complejos simpliciales como semántica de ciertas lógicas, a saber, la lógica epistémica de multi-agentes y la lógica de accesibilidad. Esta tesis está organizada en cuatro capítulos que expondremos en breve".
publishDate 2025
dc.date.none.fl_str_mv 2025-11-06T18:38:40Z
2025-11-06T18:38:40Z
2025-07
dc.type.none.fl_str_mv masterThesis
Maestría
info:eu-repo/semantics/publishedVersion
info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.none.fl_str_mv https://hdl.handle.net/20.500.12371/30216
url https://hdl.handle.net/20.500.12371/30216
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv http://creativecommons.org/licenses/by-nc-nd/4.0
openAccess
info:eu-repo/semantics/openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-nd/4.0
openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv pdf
application/pdf
application/pdf
dc.publisher.none.fl_str_mv Benemérita Universidad Autónoma de Puebla
publisher.none.fl_str_mv Benemérita Universidad Autónoma de Puebla
dc.source.none.fl_str_mv reponame:Repositorio Institucional de Acceso Abierto RIAA-BUAP
instname:Benemérita Universidad Autónoma de Puebla
instacron:BUAP
instname_str Benemérita Universidad Autónoma de Puebla
instacron_str BUAP
institution BUAP
reponame_str Repositorio Institucional de Acceso Abierto RIAA-BUAP
collection Repositorio Institucional de Acceso Abierto RIAA-BUAP
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1858175654388826112
score 15.812429