RESUMEN
La lógica modal coalgebraica permite obtener lenguajes formales a
partir de ciertos endofuntores (polinomiales). Se busca extrapolar
resultados conocidos de la lógica modal coalgebraica para la categoría
de conjuntos a categorías de espacios medibles y categorías apropiadas
para la lógica fuzzy. Entre los objetivos se hallan teoremas de
completitud, aplicaciones (en particular en las ciencias económicas) y
teoría de dualidad entre sistemas algebraicos y coalgebraicos. Se
desarrollará la formación de recursos humanos y extensión a través de
seminarios de posgrado, cursillos, charlas y conferencias, artículos,
etc.