A Logical Framework for the Spotlight Theory of Time