A Proof System for a Unified Temporal Logic.

Liang Zhao, Xiaobing Wang, Xinfeng Shu, Nan Zhang

Browse the full COCOON paper archive.