 By adding the above operators to propositional logic we extend propositional logic to propositional temporal logic. Let \(q\) abbreviate the sentence Sam is working, then we are able to express the following verb tenses in temporal logic: 