English Computing Dictionary
◊ PLTL
PLTL
{Propositional Linear Temporal Logic}