Tesis doctoral de Anselmo Romaniega Langa
Se definen axiomatica y semanticamente varios sistemas de logica modal ocasionalen base a una generalizacion del calculo de proposiciones y del calculo elemental de predicados mediante la incorporacion de conceptos modales que permitan la formulacion de matices de tiempo o circunstancias. Para cada sistemase construye un procedimiento para verificar la validez de sus formulas.
Datos académicos de la tesis doctoral «Representacion del conocimiento y demostracion automatica mediante sistemas de logica modal ocasional.«
- Título de la tesis: Representacion del conocimiento y demostracion automatica mediante sistemas de logica modal ocasional.
- Autor: Anselmo Romaniega Langa
- Universidad: Politécnica de Madrid
- Fecha de lectura de la tesis: 01/01/1986
Dirección y tribunal
- Director de la tesis
- Manuel Alfonseca Moreno
- Tribunal
- Presidente del tribunal: Scala Estalella Juan Jose
- José Fernandez Prida (vocal)
- Luis María Laita De La Rica (vocal)
- Juan Pazos Sierra (vocal)