Ben V. Moszkowski A Hierarchical Analysis of Propositional Temporal Logic Based on Intervals http://arxiv.org/abs/cs/0601008 2006 CoRR abs/cs/0601008 db/journals/corr/corr0601.html#abs-cs-0601008 informal publication