Decidability of Propositional Projection Temporal Logic with Infinite Models.

Zhenhua Duan, Cong Tian

Browse the full TAMC paper archive.