English Timed propositional temporal logic Cited by user Arthur MILCHIOR on 21 Mar 2019 In model checking, a field of computer science, timed propositional temporal logic (TPTL) is an extension of propositional linear temporal logic (LTL) in which variables…