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.

trabajostrabajos/lógica