Title: Time As a Logical Procedure