Interval Temporal Algebra
Automated Theorem Prover for PITL

1  Introduction

2  Rationale

3  Propositional Interval Temporal Logic (PITL)

4  Algebraic semantics for PITL

5  Kleene and Omega Algebra

6  Interval Temporal Algebra

7  Automatic theorem prover for PITL

8  Conclusion and future work