ITL
© 1996-2018


Interval Temporal Logic
A not so short introduction
Antonio Cau

(Pdf version of slides)
(Pdf version of slides, 4 slides on 1 page)

I  Introduction
II  Propositional Logic
III  Propositional Interval Temporal Logic
IV  First Order Logic
V  First Order Interval Temporal Logic
VI  Tempura
VII  AnaTempura








2018-03-10
Contact | Home | ITL home | Course | Proofs | Algebra | FL