Resumen de Conocimiento y creencia en lógica epistémica dinámica

Fernando Soler Toscano

• Este trabajo presenta una introducción a la lógica epistémica dinámica a través de diversos sistemas formales que permiten representar conocimientos y creencias de uno o varios agentes, así como acciones epistémicas que pueden modificarlos. Concretamente, presentamos la lógica de anuncios públicos, modelos de acción y modelos de plausibilidad.