871 resultados para propositional linear-time temporal logic