Lógicas modales para la computación y las ciencias

Proyecto PAPIIT orientado al estudio y desarrollo de lógicas modales aplicadas a problemas de computación y ciencias. Estas lógicas permiten formalizar nociones como necesidad, tiempo, conocimiento o creencia, y son base para métodos de verificación, razonamiento automático y modelado formal. Recurso útil como fundamento teórico para áreas de IA simbólica y ciencias de la computación.