First Order Linear Temporal Logic over Finite Time Structures