A Proof System for a Unified Temporal Logic - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Liang Zhao, Xiaobing Wang, Xinfeng Shu, Nan Zhang 0001. A Proof System for a Unified Temporal Logic. In Ding-Zhu Du, Zhenhua Duan, Cong Tian, editors, Computing and Combinatorics - 25th International Conference, COCOON 2019, Xi'an, China, July 29-31, 2019, Proceedings. Volume 11653 of Lecture Notes in Computer Science, pages 663-676, Springer, 2019. [doi]

The following publications are possibly variants of this publication:

A Proof System for Projection Temporal LogicZhenhua Duan, Xinfeng Shu. In Roger Y. Lee, Gongzhu Hu, Huaikou Miao, editors, Computer and Information Science 2009 [outstanding papers from the 8th ACIS/IEEE International Conference on Computer and Information Science, Shanghai, China, June 1-3, 2009]. Volume 208 of Studies in Computational Intelligence, pages 273-283, Springer, 2009. [doi]

A proof system for unified temporal logicNan Zhang 0001, Chaofeng Yu, Zhenhua Duan, Cong Tian. TCS, 949:113702, March 2023. [doi]

runs on WebDSL