Title: Logic of Time