Source : Free On-Line Dictionary of Computing

PLTL
     
        {Propositional Linear Temporal Logic}