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. Given the information above, choose from the list below the object entity that exhibits the relation 'date of death' with the subject 'arthur prior'. Choices: - 1892 - 1914 - 1940 - 1941 - 1957 - 1969 - 1981 - 2009 - 22 - 4 - 6 october 1969 - december 1914 - october 1969
6 october 1969

Information: - The Shadow Dragons, released on October 27, 2009, is the fourth novel of "The Chronicles of the Imaginarium Geographica", a book series begun by "Here, There Be Dragons". It was preceded by "The Indigo King" and followed by "The Dragon's Apprentice". - Here, There Be Dragons is a fantasy novel by James A. Owen. It is the first book in "The Chronicles of the Imaginarium Geographica" series. A sequel, followed by several more books, have since been released, including "The Search for the Red Dragon" (January 2008), "The Indigo King" (October 2008), "The Shadow Dragons" (October 2009), "The Dragon's Apprentice" (October 2010), "The Dragons of Winter" (August 2012), and "The First Dragon" (November 2013). - James A. Owen is an American comic book illustrator, publisher and writer. He is known for his creator-owned comic book series "Starchild" and as the author of "The Chronicles of the Imaginarium Geographica" novel series, that began with "Here, There Be Dragons" in 2006. - The Search for the Red Dragon , by James A. Owen , is a fantasy novel released on January 1 , 2008 . It is the second book in The Chronicles of the Imaginarium Geographica . It is preceded by Here , There Be Dragons and followed by The Indigo King . - The Indigo King, released on October 21, 2008, is the third book of "The Chronicles of the Imaginarium Geographica", a series of books begun by "Here, There Be Dragons", by James A. Owen. It follows "The Search for the Red Dragon" and precedes "The Shadow Dragons", which was released in October 2009. Given the information above, choose from the list below the object entity that exhibits the relation 'publication date' with the subject 'the search for the red dragon'. Choices: - 1 - 2006 - 2008 - 2009 - 2012 - 21 - 27 - january 2008 - october 2009 - october 2010
january 2008

Information: - Joan Calabuig Rull ( born 24 May 1960 , Valencia ) is a Spanish politician for the Spanish Socialist Workers ' Party . Calabuig began his political career as a deputy in the local parliament , the Cortes Valencianas in 1983 serving until 1987 . He also served as President of the Union of Young Socialists from 1985 -- 89 . In 2004 he was elected as a Member of the European Parliament but stepped down in 2008 when elected to the Spanish national parliament as a deputy for Valencia province . He is also running to be the mayor of Valencia . - A Member of the European Parliament (MEP) is a person who has been elected to serve as a popular representative in the European Parliament. - The Spanish Socialist Workers' Party (; better known by its initials, PSOE ), is a social-democratic political party in Spain. - The European Parliament (EP) is the directly elected parliamentary institution of the European Union (EU). Together with the Council of the European Union (the Council) and the European Commission, it exercises the legislative function of the EU. The Parliament is composed of 751 (previously 766) members, who represent the second largest democratic electorate in the world (after the Parliament of India) and the largest trans-national democratic electorate in the world (375million eligible voters in 2009). Given the information above, choose from the list below the object entity that exhibits the relation 'country of citizenship' with the subject 'joan calabuig'. Choices: - india - spain
spain