You are about to access our book library "Temporal Logic: From Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing full version" .