Metadata
Author: WikiMatrix
Data
English[en]
The binary temporal operators Since and Until were introduced by Hans Kamp in his 1968 Ph.D. thesis, which also contains an important result relating temporal logic to first-order logic—a result now known as Kamp's theorem.
Portuguese[pt]
Os operadores binários temporais "desde" e "até" foram introduzidos por Hans Kamp em sua tese de Ph.D em 1968, que também possui um importante resultado relacionando logica temporal com logica de primeira ordem - um resultado hoje conhecido como Teorema de Kamp.