A Hierarchical Analysis of Propositional Temporal Logic based on Intervals