Part III
Propositional Interval Temporal Logic

III.1  Introduction

III.2  Syntax Propositional ITL

III.3  Semantic Preliminaries

III.4  Semantics of Propositional ITL

III.5  Satisfiable and valid

III.6  Summary

III.7  Exercises