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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.