Centrone S. Temporal Logic...Proof Theory to AI and Quantum Computing 2023