Modelos para lógicas modales

Ponente(s): Angel Augusto Camacho Acosta, Dr. Iván Martínez Ruíz

En esta charla presentaremos tres formas clásicas de construcción de modelos para lógicas modales, a partir de modelos dados de la lógica clásica, que no afectan la satisfacción modal, a saber: uniones disjuntas, submodelos generados y morfismos acotados, además de algunos resultados importantes para realizar estas construcciones.