Discreteness of Time (Temporal Logic)