 Temporal logic is a field whose development has been heavily driven by philosophical considerations. At the same time, the logical formalisms and technical systems developed over the years have found application in various different disciplines, ranging from computer science, artificial intelligence, and linguistics, to natural, cognitive, and social sciences. In this section, we briefly discuss some pertinent applications of temporal logics in computer science, artificial intelligence, and linguistics.