Resumen de Representación del conocimiento y demostración automática mediante sistemas de lógica modal ocasional

Anselmo Romaniega Langa

• Se definen axiomática y semánticamente varios sistemas de lógica modal ocasional en base a una generalización del cálculo de proposiciones y del cálculo elemental de predicados mediante la incorporación de conceptos modales que permitan la formulación de matices de tiempo o circunstancias. Para cada sistema se construye un procedimiento para verificar la validez de sus fórmulas.