Author:
Wang Yajie,Zhang Nan,Duan Zhenhua
Publisher
Springer International Publishing
Reference21 articles.
1. Duan, Z.: Temporal Logic and Temporal Logic Programming. Science Press, Beijing (2005)
2. Duan, Z., Tian, C.: A practical decision procedure for propositional projection temporal logic with infinite models. Theor. Comput. Sci. 554, 169–190 (2014)
3. Duan, Z., Tian, C., Zhang, N.: A canonical form based decision procedure and model checking approach for propositional projection temporal logic. Theor. Comput. Sci. 609, 544–560 (2016)
4. Rosner, R., Pnueli, A.: A choppy logic. In: Proceedings of the Symposium on Logic in Computer Science, Cambridge, pp. 306–313 (1986)
5. Bowman, H., Thompson, S.: A decision procedure and complete axiomatization of finite interval temporal logic with projection. J. Logic Comput. 13, 195–239 (2003)