Arthur Norman Prior, usually cited as A. N. Prior, was a New Zealand–born logician and philosopher. Prior founded tense logic, now also known as temporal logic, and made important contributions to intensional logic, particularly in Prior. Wikipedia