PARTE I
Insiemi Fuzzy
Operazioni con insiemi fuzzy
t-norme
Un teorema sulle t-norme continue
Introduzione alla logica
Logiche preposizionali
Logiche a più valori e t-norme
Logiche a più valori
• esempi di tavole di verità
• Completezza standard
• Problema delle tautologie
• Contromodelli
Interpretazione funzionale
• Logica di Lukasiewicz
• Logica di Godel
• Logica prodotto

PART II
Semantiche Real time
Semantiche astratte
Logiche Real time
Vincoli Real time
Esempi di logiche real-time
Formalismi Real-time Automata-based