Temporal logic (vol. 1): mathematical foundations and computational aspects