Time As A Logical Procedure