The project studied the temporal logic developed in the middle of 20th century by A.N. Prior and its modern manifestations in logic and philosophy as well as information and computer science. Another purpose of the project was to digitize and publish works of Prior that only was available as manuscripts, deposited in the Bodleian Library. The project has been completed.