Stanford University
Temporal Logic/stanford Encyclopedia of Philosophy
Discusses the temporal logic of Arthur Prior, a type of modal logic. After technical definitions, author addresses related philosophical issues. Also summarizes applications in natural language, computer science, and artificial...