1 definition found pltl - Free On-line Dictionary of Computing (26 May 2007) : PLTL Propositional Linear Temporal Logic