A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time | Publicación