Coloquio Cuernavaca - Octubre

Resumen:

La lógica del conocimiento o lógica epistémica es una extensión de la lógica modal que modela matemáticamente el concepto de conocimiento y creencia de uno o varios agentes. Esto es, un sistema deductivo con operadores modales que actúan sobre conjuntos de estados (mundos posibles), permitiendo calcular qué sabe, ignora o deduce un agente racional sobre un sistema o sobre el conocimiento de otros agentes.

En esta charla, tras exponer las generalidades de lo que es un sistema de lógica epistémica, expondré, por un lado, el concepto de conociendo común y por otro lado, los principios de la lógica dinámica epistémica, para con esto y apreciar los alcances y algunas limitaciones de la lógica epistémica como un sistema modal.