Devoted to the life and work of the founding father of temporal logic. Includes bibliography, interview with Mary Prior, and information on the Prior papers at the Bodleian Library.
A lengthy and detailed article on Prior's work by B. Jack Copeland.
Science /
Math /
Logic_and_Foundations /
Nonstandard_Logics_and_Extensions /
Temporal_Logic
|