Combining Tense Operators (Arthur Prior's Temporal Logic)