Shu, Xinfeng; Zhang, Nan; Wang, Xiaobing; Zhao, Liang Efficient decision procedure for propositional projection temporal logic. (English) Zbl 1476.03019 Theor. Comput. Sci. 838, 1-16 (2020). Reviewer: Valentin F. Goranko (Stockholm) MSC: 03B44 PDFBibTeX XMLCite \textit{X. Shu} et al., Theor. Comput. Sci. 838, 1--16 (2020; Zbl 1476.03019) Full Text: DOI
Shu, Xinfeng; Duan, Zhenhua; Du, Hongwei A decision procedure and complete axiomatization for projection temporal logic. (English) Zbl 1506.03070 Theor. Comput. Sci. 819, 50-84 (2020). MSC: 03B44 03B35 68V20 PDFBibTeX XMLCite \textit{X. Shu} et al., Theor. Comput. Sci. 819, 50--84 (2020; Zbl 1506.03070) Full Text: DOI