{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,31]],"date-time":"2024-03-31T18:58:44Z","timestamp":1711911524662},"reference-count":76,"publisher":"Elsevier","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1016\/s1874-5857(06)80031-2","type":"book-chapter","created":{"date-parts":[[2007,9,8]],"date-time":"2007-09-08T02:50:27Z","timestamp":1189219827000},"page":"399-446","source":"Crossref","is-referenced-by-count":3,"title":["A.N. Prior's logic"],"prefix":"10.1016","author":[{"given":"Peter","family":"\u00d8hrstr\u00f8m","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Per","family":"Hasle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1874-5857(06)80031-2_bib1","first-page":"2","article-title":"A functional calculus of first order based on strict implication","volume":"xi","author":"Barcan","year":"1946","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(06)80031-2_bib2","series-title":"Zur Rekonstruktion des Kyrieuon Logos des Diodorus Kronos (mit besonderer Riicksicht auf die Arbeiten von A.N. Prior)","author":"Becker","year":"1960"},{"issue":"1","key":"10.1016\/S1874-5857(06)80031-2_bib3","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1305\/ndjfl\/1093634564","article-title":"Nominal tense logic","volume":"34","author":"Blackburn","year":"1993","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1874-5857(06)80031-2_bib4","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1093\/jos\/11.1-2.83","article-title":"Tense, temporal reference, and tense logic","volume":"11","author":"Blackburn","year":"1994","journal-title":"Journal of Semantics"},{"key":"10.1016\/S1874-5857(06)80031-2_bib5","series-title":"Jan Lukasiewicz: Selected Works","year":"1970"},{"key":"10.1016\/S1874-5857(06)80031-2_bib6","series-title":"Natural Language Understanding and Logic Programming","year":"1991"},{"key":"10.1016\/S1874-5857(06)80031-2_bib7","series-title":"Logic and Reality: Essays in the Legacy of Arthur Prior","year":"1996"},{"key":"10.1016\/S1874-5857(06)80031-2_bib8","doi-asserted-by":"crossref","first-page":"99 137","DOI":"10.1023\/A:1015273407895","article-title":"The genesis of possible worlds semantics","volume":"31","author":"Copeland","year":"2002","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1874-5857(06)80031-2_bib9","series-title":"Erkenntnis und Varantwortung: Festschrift f\u00fcr Theodor Litt","year":"1960"},{"key":"10.1016\/S1874-5857(06)80031-2_bib10","volume":"volume 1","year":"1967"},{"key":"10.1016\/S1874-5857(06)80031-2_bib11","article-title":"Perspectives on Time","year":"1997"},{"key":"10.1016\/S1874-5857(06)80031-2_bib12","first-page":"216 35","article-title":"Time: A treatment of some puzzles","volume":"19","author":"Findlay","year":"1911","journal-title":"Australasian Journal of Psychology and Philosophy"},{"key":"10.1016\/S1874-5857(06)80031-2_bib13","series-title":"New Essays in Philosophical Theology","year":"1955"},{"key":"10.1016\/S1874-5857(06)80031-2_bib14","volume":"volume I","year":"1972"},{"key":"10.1016\/S1874-5857(06)80031-2_bib15","first-page":"186 188","article-title":"Arthur Prior: A personal impression","volume":"3","author":"Geach","year":"1970","journal-title":"Theoria"},{"key":"10.1016\/S1874-5857(06)80031-2_bib16","series-title":"Building a temporal logic for natural language understanding with the HOL-system","author":"Hasle","year":"1991"},{"key":"10.1016\/S1874-5857(06)80031-2_bib17","series-title":"The problem of predestination as a prelude to A.N. Prior's tense logic","author":"Hasle","year":"1999"},{"key":"10.1016\/S1874-5857(06)80031-2_bib18","series-title":"Life and work of Arthur N. Prior: An interview with Mary Prior","author":"Hasle","year":"2003"},{"key":"10.1016\/S1874-5857(06)80031-2_bib19","series-title":"An Essay on the Philosophy of A.N. Prior","article-title":"Intensionality and Truth","author":"Hugly","year":"1996"},{"key":"10.1016\/S1874-5857(06)80031-2_bib20","first-page":"321","article-title":"Arthur Norman Prior (1914 1969)","volume":"LVL","author":"Kenny","year":"1970"},{"key":"10.1016\/S1874-5857(06)80031-2_bib21","series-title":"The Abolition of Man","author":"Lewis","year":"1943"},{"key":"10.1016\/S1874-5857(06)80031-2_bib22","series-title":"On three-valued logic","author":"\u0141ukasiewicz","year":"1920"},{"key":"10.1016\/S1874-5857(06)80031-2_bib23","series-title":"Philosophical remarks on many-valued systems of propositional logic","author":"Lukasiewicz","year":"1930"},{"key":"10.1016\/S1874-5857(06)80031-2_bib24","doi-asserted-by":"crossref","first-page":"234 244","DOI":"10.2307\/2181853","article-title":"Diodorean implication","volume":"58","author":"Mates","year":"1949","journal-title":"Philosophical Review"},{"key":"10.1016\/S1874-5857(06)80031-2_bib25","series-title":"Stoic Logic","author":"Mates","year":"1961"},{"key":"10.1016\/S1874-5857(06)80031-2_bib26","series-title":"Mind","first-page":"457 474","article-title":"The unreality of time","author":"McTaggart","year":"1908"},{"key":"10.1016\/S1874-5857(06)80031-2_bib27","series-title":"Interpretations of different modal logics in the \u2018property calculus\u2019","author":"Meredith","year":"1956"},{"key":"10.1016\/S1874-5857(06)80031-2_bib28","unstructured":"C.A. Meredith and A.N. Prior. Computations and speculations. MS, Bodleian Library, Box 8, Unpublished"},{"key":"10.1016\/S1874-5857(06)80031-2_bib29","series-title":"Temporal Logic \u2014 from Ancient Ideas to Artificial Intelligence","author":"\u00d8hrstr\u00f8m","year":"1995"},{"key":"10.1016\/S1874-5857(06)80031-2_bib30","series-title":"Nogle aspekter af tidsbegrebets rolle i de eksakte videnskaber med s\u02e6rligt henblik p logikken","author":"\u00d8hrstr\u00f8m","year":"1988"},{"key":"10.1016\/S1874-5857(06)80031-2_bib31","series-title":"Worlds, Times and Selves","author":"Prior","year":"1977"},{"issue":"1","key":"10.1016\/S1874-5857(06)80031-2_bib32","first-page":"15","article-title":"A Calvinist romantic","volume":"12","author":"Prior","year":"1940","journal-title":"Purpose"},{"key":"10.1016\/S1874-5857(06)80031-2_bib33","series-title":"The Student Movement","first-page":"131","article-title":"Makers of modern thought (1): Kierkegaard","author":"Prior","year":"1940"},{"key":"10.1016\/S1874-5857(06)80031-2_bib34","series-title":"The Churchman","first-page":"34","article-title":"A Scot seeks God","author":"Prior","year":"1940"},{"key":"10.1016\/S1874-5857(06)80031-2_bib35","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1080\/00048404208541185","article-title":"Can religion be discussed?","volume":"20","author":"Prior","year":"1942","journal-title":"Australasian Journal of Psychology and Philosophy"},{"key":"10.1016\/S1874-5857(06)80031-2_bib36","first-page":"19","article-title":"The reformers reformed: Knox on predestination","volume":"4","author":"Prior","year":"1946","journal-title":"The Presbyter"},{"key":"10.1016\/S1874-5857(06)80031-2_bib37","first-page":"19","article-title":"Supralapsarianism","volume":"5","author":"Prior","year":"1947","journal-title":"The Presbyter"},{"key":"10.1016\/S1874-5857(06)80031-2_bib38","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1080\/00048404808541237","article-title":"Adam Gib and the philosophers","volume":"26","author":"Prior","year":"1948","journal-title":"Australasian Journal of Psychology and Philosophy"},{"key":"10.1016\/S1874-5857(06)80031-2_bib39","first-page":"8","article-title":"Disruption","volume":"2","author":"Prior","year":"1948","journal-title":"Landfall"},{"key":"10.1016\/S1874-5857(06)80031-2_bib40","series-title":"Logic and the Basis of Ethics","author":"Prior","year":"1949"},{"key":"10.1016\/S1874-5857(06)80031-2_bib41","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1080\/00048405185200171","article-title":"The ethical copula","volume":"29","author":"Prior","year":"1951","journal-title":"Australasian Journal of Philosophy"},{"key":"10.1016\/S1874-5857(06)80031-2_bib42","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1080\/00048405285200031","article-title":"Lukasiewicz's symbolic logic","volume":"30","author":"Prior","year":"1952","journal-title":"Australasian Journal of Philosophy"},{"key":"10.1016\/S1874-5857(06)80031-2_bib43","doi-asserted-by":"crossref","first-page":"317","DOI":"10.2307\/2217099","article-title":"Three-valued logic and future contingents","volume":"3","author":"Prior","year":"1953","journal-title":"The Philosophical Quarterly"},{"key":"10.1016\/S1874-5857(06)80031-2_bib44","doi-asserted-by":"crossref","first-page":"205","DOI":"10.2307\/2957434","article-title":"Diodoran modalities","volume":"5","author":"Prior","year":"1955","journal-title":"The Philosophical Quarterly"},{"key":"10.1016\/S1874-5857(06)80031-2_bib45","series-title":"Formal Logic","author":"Prior","year":"1955"},{"issue":"5","key":"10.1016\/S1874-5857(06)80031-2_bib46","first-page":"7","article-title":"Speaking about God","author":"Prior","year":"1955","journal-title":"The Student"},{"key":"10.1016\/S1874-5857(06)80031-2_bib47","series-title":"The Listener","article-title":"Symbolism and analogy","author":"Prior","year":"1957"},{"key":"10.1016\/S1874-5857(06)80031-2_bib48","series-title":"Time and Modality","author":"Prior","year":"1957"},{"key":"10.1016\/S1874-5857(06)80031-2_bib49","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1080\/00048405885200011","article-title":"\u2018The good life and religious faith\u2019 (East-West meeting at Canberra Dec. 1957)","volume":"36","author":"Prior","year":"1958","journal-title":"Australasian Journal of Philosophy"},{"key":"10.1016\/S1874-5857(06)80031-2_bib50","first-page":"82","article-title":"Creation in science and theology","volume":"18","author":"Prior","year":"1959","journal-title":"Southern Stars"},{"issue":"128","key":"10.1016\/S1874-5857(06)80031-2_bib51","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1017\/S0031819100029685","article-title":"Thank goodness that's over","volume":"34","author":"Prior","year":"1959","journal-title":"Philosophy"},{"key":"10.1016\/S1874-5857(06)80031-2_bib52","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1017\/S0031819100036780","article-title":"The formalities of omniscience","volume":"37","author":"Prior","year":"1962","journal-title":"Philosophy"},{"key":"10.1016\/S1874-5857(06)80031-2_bib53","first-page":"16","article-title":"Logic in England today","author":"Prior","year":"1962"},{"key":"10.1016\/S1874-5857(06)80031-2_bib54","first-page":"251","article-title":"\u2018Wspolezesca logica w Anglii\u2019 (Contemporary logic in England)","volume":"21","author":"Prior","year":"1962","journal-title":"Ruch filozoficzny"},{"key":"10.1016\/S1874-5857(06)80031-2_bib55","first-page":"183","article-title":"Time, existence and identity","volume":"66","author":"Prior","year":"1965"},{"key":"10.1016\/S1874-5857(06)80031-2_bib56","series-title":"\u2018Logic, history of\u2019: \u2018Peirce. C.S.\u2019","author":"Prior","year":"1967"},{"key":"10.1016\/S1874-5857(06)80031-2_bib57","series-title":"Past, Present and Future","author":"Prior","year":"1967"},{"key":"10.1016\/S1874-5857(06)80031-2_bib58","series-title":"Papers on Time and Tense","author":"Prior","year":"1968"},{"issue":"3","key":"10.1016\/S1874-5857(06)80031-2_bib59","doi-asserted-by":"crossref","first-page":"325","DOI":"10.5840\/monist196953328","article-title":"Recent advances in tense logic","volume":"53","author":"Prior","year":"1969","journal-title":"The Monist"},{"key":"10.1016\/S1874-5857(06)80031-2_bib60","series-title":"The notion of the present","author":"Prior","year":"1972"},{"key":"10.1016\/S1874-5857(06)80031-2_bib61","article-title":"The Doctrine of Propositions and Terms","author":"Prior","year":"1976"},{"key":"10.1016\/S1874-5857(06)80031-2_bib62","article-title":"Papers in Logic and Ethics","author":"Prior","year":"1976"},{"key":"10.1016\/S1874-5857(06)80031-2_bib63","series-title":"What is logic?","author":"Prior","year":"1976"},{"key":"10.1016\/S1874-5857(06)80031-2_bib64","series-title":"Some free thinking about time","author":"Prior","year":"1996"},{"key":"10.1016\/S1874-5857(06)80031-2_bib65","series-title":"A statement of temporal realism","author":"Prior","year":"1996"},{"key":"10.1016\/S1874-5857(06)80031-2_bib66","article-title":"Papers on Time and Tense","author":"Prior","year":"2003"},{"key":"10.1016\/S1874-5857(06)80031-2_bib67","unstructured":"A.N. Prior. Determinism in philosophy and theology. MS, 4 p. Bodleian Library, Box 6, Unpublished"},{"key":"10.1016\/S1874-5857(06)80031-2_bib68","unstructured":"A.N. Prior. The fable of the four preachers. Undated MS. Bodleian Library, Oxford, Box 6, Unpublished."},{"key":"10.1016\/S1874-5857(06)80031-2_bib69","unstructured":"A.N. Prior. The logic of obligation and the obligation of the logician. Undated MS, Bodleian Library, Oxford, Box 6, Unpublished"},{"key":"10.1016\/S1874-5857(06)80031-2_bib70","unstructured":"A.N. Prior Logical criticisms of the theory identifying duty with self-interest. Undated MS. Bodleian Library, Oxford, Box 9, Unpublished."},{"key":"10.1016\/S1874-5857(06)80031-2_bib71","unstructured":"A.N. Prior. A modernist stocktaking. MS, 6 p. Bodleian Library, Box 7, Unpublished"},{"key":"10.1016\/S1874-5857(06)80031-2_bib72","unstructured":"A.N. Prior. On Frege and Kolakowski. Untitled MS, Bodleian Library, Box 6, Unpublished."},{"key":"10.1016\/S1874-5857(06)80031-2_bib73","first-page":"74","article-title":"Diodorus Cronus and Hellenistic philosophy","volume":"203","author":"Sedlcy","year":"1977"},{"key":"10.1016\/S1874-5857(06)80031-2_bib74","series-title":"A new tempo-modal logic for emerging truth","author":"Wegener","year":"1997"},{"key":"10.1016\/S1874-5857(06)80031-2_bib75","article-title":"Time, Creation and World-Order","year":"1999"},{"key":"10.1016\/S1874-5857(06)80031-2_bib76","series-title":"An Essay in Modal Logic","author":"von Wright","year":"1951"}],"container-title":["Handbook of the History of Logic","Logic and the Modalities in the Twentieth Century"],"original-title":[],"deposited":{"date-parts":[[2019,1,4]],"date-time":"2019-01-04T08:56:53Z","timestamp":1546592213000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1874585706800312"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"references-count":76,"URL":"https:\/\/doi.org\/10.1016\/s1874-5857(06)80031-2","relation":{},"ISSN":["1874-5857"],"issn-type":[{"value":"1874-5857","type":"print"}],"subject":[],"published":{"date-parts":[[2006]]}}}