A Hierarchical Completeness Proof for Propositional Temporal Logic | Publicación