Axiomatizing Extended Temporal Logic Fragments Via Instantiation.

Wanwei Liu, Ji Wang, Wei Dong, Huowang Chen

Browse the full ICTAC paper archive.