This document is unfortunately not available for download at the moment.
Jan Faye , Uwe Scheffler, Max Urchs (1997) Perspectives on time, Dordrecht, Springer.
A. N. Prior's ideas on the relation between semantics and axiomatics for temporal logic
Peter Øhrstrøm
pp. 443-457
Not implemented yet !