 Perhaps the most important extension of Prior’s basic tense logic TL was the introduction of the binary temporal operators \(S\) (“Since”) and \(U\) (“Until”) by Hans Kamp in his doctoral dissertation (Kamp 1968). The intuitive meanings of these  are[3]