Lógica temporal é qualquer sistema de regras e símbolos para representar e dissertar sobre proposições qualificadas em termos de tempo.$uhttps://pt.wikipedia.org/wiki/L%C3%B3gica_temporal