Deducción Etiquetada

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Un método formal que aumenta las fórmulas sintácticas con etiquetas explícitas (por ejemplo mundos, estados, recursos o anotaciones de prueba) que transportan información semántica y guían la aplicación de reglas de inferencia sintácticas.