A Complete Axiomatization of Propositional Projection Temporal Logic.

Zhenhua Duan, Nan Zhang

Browse the full TASE paper archive.