Un estudio a la lógica modal con complejos simpliciales
Date
2025-07
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Benemérita Universidad Autónoma de Puebla
Abstract
"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".
Description
Keywords
Citation
Collections
Document Viewer
Select a file to preview:
Can't see the file? Try reloading