Information: - Arthur Norman Prior (4 December 1914 6 October 1969), usually cited as A. N. Prior, was a noted logician and philosopher. Prior (1957) founded tense logic, now also known as temporal logic, and made important contributions to intensional logic, particularly in Prior (1971). - Amir Pnueli (April 22, 1941 November 2, 2009) was an Israeli computer scientist and the 1996 Turing Award recipient. - Arthur Norman Prior , also known as A. N. Prior , ( 1914 -- 1969 ) was a noted logician and philosopher . Prior ( 1957 ) founded tense logic , now also known as temporal logic , and made important contributions to intensional logic , particularly in Prior ( 1971 ) . - In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time. In a temporal logic we can then express statements like "I am "always" hungry", "I will "eventually" be hungry", or "I will be hungry "until" I eat something". Temporal logic is sometimes also used to refer to tense logic, a particular modal logic-based system of temporal logic introduced by Arthur Prior in the late 1950s, and important results were obtained by Hans Kamp. Subsequently it has been developed further by computer scientists, notably Amir Pnueli, and logicians. - Intensional logic is an approach to predicate logic that extends first-order logic, which has quantifiers that range over the individuals of a universe ("extensions"), by additional quantifiers that range over terms that may have such individuals as their value ("intensions"). The distinction between intensional and extensional entities is parallel to the distinction between sense and reference. - The distinction between sense and reference was an innovation of the German philosopher and mathematician Gottlob Frege in 1892, reflecting the two ways he believed a singular term may have meaning. The reference (or "referent", German: "Bedeutung")) of a proper name is the object it means or indicates ("bedeuten"), its sense is what the name expresses. The reference of a sentence is its truth value, its sense is the thought that it expresses. Frege justified the distinction in a number of ways. - Johan Anthony Willem "Hans" Kamp (born 1940) is a Dutch philosopher and linguist, responsible for introducing Discourse Representation Theory (DRT) in 1981. What is the relationship between 'arthur prior' and '6 october 1969'?
The answer to this question is:
date of death