
Past, Present and Future, first published in 1967, is the magnum opus of Arthur Norman Prior (1914-1969). Prior was the founding father of tense-logic: Past, Present, and Future presents his tense-logic as a powerful and precise formalism for the systematic study of the temporal...