Part V
First Order Interval Temporal Logic

V.1  Introduction

V.2  Integer variable and intervals

V.3  Examples First Order ITL

V.4  Tempura

V.5  Syntax First Order ITL

V.6  Semantics of Expressions

V.7  Semantics of Formulae

V.8  Satisfiable and valid

V.9  Summary

V.10  Exercises