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...
| Autor: | |
|---|---|
| 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 |