Temporal Logic = Library of Exact Philosophy, Vol. 3