A logical reconstruction of temporal databases - Finger, Marcelo (Journal of Logic and Computation, 2000)