Dynamical operators on models with evidence

Las lógicas epistémicas dinámicas forman una familia de lógicas modales que se ocupan de las nociones relacionadas con el conocimiento y la creencia, y los cambios que ocurren cuando la nueva información está disponible para los agentes razonadores. Durante los últimos 30 años se han estudiado varias semánticas para estas lógicas, incluidos modelos basados en relaciones binarias (es decir, marcos de Kripke), sistemas de vecindarios y espacios topológicos, a veces incluso mezclando algunas de estas semánticas para diferentes modalidades que pueden estar presentes en un solo lenguaje. En particular, cuando se trata de modelos topológicos, hay algunas preguntas abiertas relacionadas con los operadores epistémicos modales dinámicos en el caso de múltiples agentes. Este proyecto no tiene como objetivo dar respuestas completas a esas preguntas, sin embargo, estudiamos en detalle el trabajo existente sobre los fundamentos matemáticos de la semántica topológica para la lógica del conocimiento y la creencia (con evidencia), con el fin de comprender los desafíos cuando se intenta abordar estas preguntas.

• Autores: Gamboa Guzmán, Laura Paola
• Fecha de publicación: 2021
• Institución: Universidad de los Andes
• Repositorio: Séneca: repositorio Uniandes
• Idioma: eng
• OAI Identifier: oai:repositorio.uniandes.edu.co:1992/55112
• Acceso en línea: http://hdl.handle.net/1992/55112
• Palabra clave: Lógica epistémica dinámica; Matemáticas
• Rights: openAccess
• License: http://creativecommons.org/licenses/by-nc-sa/4.0/