Autor: ROMANIEGA LANGA, Anselmo

Título: Representación del conocimiento y demostración automática mediante sistemas de lógica modal ocasional

Fecha: 1986

Materia: CIENCIAS TECNOLÓGICAS. Teseo;TECNOLOGÍA DE LA ALIMENTACIÓN. Teseo;PANADERÍA. Teseo

Escuela: FACULTAD DE INFORMATICA

Departamento: SIN DEPARTAMENTO DEFINIDO

Acceso electrónico:

Director/a(s):

• Director/a: ALFONSECA MORENO, Manuel

Resumen: 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