Una lógica multiagente para nociones epistemológicas básicas: creencia, conocimiento y justificación

Director/a: 
José Pedro Úbeda Rives
Categoría: 
Resumen: 

En el presente trabajo extendemos una lógica epistémica con justificación y tiempo discreto ya existente en la literatura (Baltag et. al. 2012) a entornos multiagente con conocimiento común. Para ello, primero se analizan los aspectos clave de dicha lógica. Tras esto, se presentan los recursos sintácticos y semánticos necesarios para tratar con n agentes y conocimiento común. Por último, se desarrolla un sistema axiomático para la nueva lógica y se ofrecen pruebas de corrección y completud para dicho sistema. A lo largo del trabajo, se comentan algunos aspectos relevantes del formalismo propuesto para su potencial aplicación en epistemología y una posible extensión dinámica.
 

En el curso 2017-2018 la sede del máster es la Universidad de Valladolid

El máster da acceso al doctorado interuniversitario en Lógica y Filosofía de la Ciencia

Aquí puedes conocer a nuestros alumnos

Enciclopedias, revistas, sociedades, bibliotecas virtuales

Encuentra aquí los últimos libros publicados por nuestros profesores

Trabajos fin de máster realizados por nuestros alumnos

Conoce a los coordinadores de cada Universidad

Conoce a nuestros profesores

Toda la información en un solo texto

Ciclo de conferencias anual

Nuestro decálogo de honestidad intelectual

Nuestro sistema de garantía de calidad