Good summary of Frege's thought. Some sections are more technical, but the explanation of his philosophy of language and other sections are more readable.

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...