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


2023-09-12
Contact | Home | ITL home | Course | Proofs | Algebra | FL
© 1996-2023