Which New Zealand-born logician and philosopher, founder of temporal logic, taught at the University of Canterbury and later at Oxford, and influenced computer science through his work on the logic of time and tense?

• A Karl Popper
• B John Findlay
• C Jack Copeland
• D Arthur Prior ✓

Arthur Prior (1914ΓÇô1969) of Masterton invented tense logic, a formal system for reasoning about time that has had profound implications for philosophy, linguistics, and the foundations of computer science.