An Improved Decision Procedure for Linear Time Mu-Calculus

Yao Liu, Zhenhua Duan, Cong Tian

An improved Present Future form (PF form) for linear time $\mu$-calculus ($\nu$TL) is presented in this paper. In particular, the future part of the new version turns into the conjunct…