A Complete Axiomatization of Propositional Projection Temporal Logic | IEEE Conference Publication | IEEE Xplore