Temporal Logic: From Philosophy And Proof Theory To Artificial Intelligence And Quantum Computing