Language, Logic, and Time