A decision procedure and complete axiomatization for projection temporal logic

Xinfeng Shu, Zhenhua Duan, Hongwei Du 0001. A decision procedure and complete axiomatization for projection temporal logic. Theoretical Computer Science, 819:50-84, 2020. [doi]

Bibliographies