{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T00:17:01Z","timestamp":1649031421753},"reference-count":66,"publisher":"Springer Science and Business Media LLC","issue":"11","license":[{"start":{"date-parts":[[2015,9,19]],"date-time":"2015-09-19T00:00:00Z","timestamp":1442620800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2016,11]]},"DOI":"10.1007\/s11229-015-0896-9","type":"journal-article","created":{"date-parts":[[2015,9,19]],"date-time":"2015-09-19T04:22:04Z","timestamp":1442636524000},"page":"3701-3712","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Where have all the Californian tense-logicians gone?"],"prefix":"10.1007","volume":"193","author":[{"ORCID":"http:\/\/orcid.org\/0000-0002-9546-7273","authenticated-orcid":false,"given":"Woosuk","family":"Park","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,9,19]]},"reference":[{"issue":"4","key":"896_CR1","doi-asserted-by":"crossref","first-page":"566","DOI":"10.2307\/2273296","volume":"44","author":"JP Burgess","year":"1979","unstructured":"Burgess, J. P. (1979). Logic and time. The Journal of Symbolic Logic, 44(4), 566\u2013582.","journal-title":"The Journal of Symbolic Logic"},{"key":"896_CR2","unstructured":"Burgess, J. P. ((1984), 2002), Basic tense logic. In Gabbay & Guenthner (Eds.), (2002), pp. 1\u201342"},{"key":"896_CR3","volume-title":"Modalities and multimodalities","author":"W Carnielli","year":"2009","unstructured":"Carnielli, W., & Pizzi, C. (2009). Modalities and multimodalities. Dordrecht: Springer."},{"key":"896_CR4","first-page":"219","volume":"34","author":"JE Clifford","year":"1966","unstructured":"Clifford, J. E. (1966). Tense logic and the logic of change. Logique et Analyse, 34, 219\u2013230.","journal-title":"Logique et Analyse"},{"key":"896_CR5","volume-title":"Tense and tense logic","author":"JE Clifford","year":"1975","unstructured":"Clifford, J. E. (1975). Tense and tense logic. The Hague: Mouton."},{"key":"896_CR6","unstructured":"Cocchiarella, N. B. (1965a). 931. Cocchiarella to Prior 07.10.1965 (Box 1)"},{"key":"896_CR7","unstructured":"Cocchiarella, N. B. (1965b). 932. Cocchiarella to prior 04.11.1965 (Box 1)"},{"key":"896_CR8","unstructured":"Cocchiarella, N. B. (1965c). 933. Cocchiarella to Prior 12.11.1965 (Box 1)"},{"key":"896_CR9","unstructured":"Cocchiarella, N. B. (1965d). 937. Cocchiarella to Lemmon 12.11.1965 (Box 1)"},{"key":"896_CR10","unstructured":"Cocchiarella, N. B. (1965e). 938. Cocchiarella to Montague 18.10.1965 (Box 1)"},{"key":"896_CR11","unstructured":"Cocchiarella, N. B. (1966a). Tense and modal logic: A study in the topology of temporal reference. Ph. D. dissertation, UCLA"},{"key":"896_CR12","first-page":"689","volume":"31","author":"NB Cocchiarella","year":"1966","unstructured":"Cocchiarella, N. B. (1966b). (Abstract) A completeness theorem for tense logic. Journal of Symbolic Logic, 31, 689\u2013690.","journal-title":"Journal of Symbolic Logic"},{"key":"896_CR13","unstructured":"Cocchiarella, N. B. (1967). 934. Cocchiarella to Prior, 02.01. 1967 (Box 1)"},{"issue":"2","key":"896_CR14","doi-asserted-by":"crossref","first-page":"165","DOI":"10.2307\/2214703","volume":"2","author":"NB Cocchiarella","year":"1968","unstructured":"Cocchiarella, N. B. (1968a). Some remarks on second order logic with existence attributes. Nous, 2(2), 165\u2013175.","journal-title":"Nous"},{"key":"896_CR15","unstructured":"Cocchiarella, N. B. (1968b). 1224. Cocchiarella to Prior. 11.03.1968 (Box 4)"},{"key":"896_CR16","unstructured":"Cocchiarella, N. B. (1968c). 1223. Cocchiarella to Prior. 05.04. 1968 (Box 4)"},{"key":"896_CR17","unstructured":"Cocchiarella, N. B. (1968d). 935. Cocchiarella to Prior. 07.10.1968 (Box 1)"},{"key":"896_CR18","doi-asserted-by":"crossref","first-page":"33","DOI":"10.2307\/2216155","volume":"3.1","author":"NB Cocchiarella","year":"1969","unstructured":"Cocchiarella, N. B. (1969a). Existence entailing attributes, modes of copulation and modes of being in second order logic. Nous, 3.1, 33\u201348.","journal-title":"Nous"},{"issue":"1","key":"896_CR19","doi-asserted-by":"crossref","first-page":"57","DOI":"10.2307\/2270982","volume":"34","author":"NB Cocchiarella","year":"1969","unstructured":"Cocchiarella, N. B. (1969b). A second order logic of existence. The Journal of Symbolic Logic, 34(1), 57\u201369.","journal-title":"The Journal of Symbolic Logic"},{"key":"896_CR20","unstructured":"Cocchiarella, N. B. (1981). Richard Montague and the mogical analysis of language. In G. Fl\u00f8istad (Ed.), Contemporary philosophy: A new survey. Philosophy of language\/philosophical logic (Vol. 2, pp. 113\u2013154). The Hague: Martinus Nijhoff."},{"key":"896_CR21","doi-asserted-by":"crossref","unstructured":"Cocchiarella, N. B. ((1984) 2002). Philosophical perspectives on quantification in tense and modal logic. In Gabbay & Guenthner (Eds.) (2002), Handbook of philosophical logic (Vol. 7, pp. 235\u2013275)","DOI":"10.1007\/978-94-017-0462-5_4"},{"key":"896_CR22","first-page":"242","volume-title":"Philosophical applications of free logic","author":"NB Cocchiarella","year":"1991","unstructured":"Cocchiarella, N. B. (1991). Quantification, time, and necessity. In K. Lambert (Ed.), Philosophical applications of free logic (pp. 242\u2013256). Oxford: Oxford University Press."},{"key":"896_CR23","unstructured":"Cocchiarella, N. B. (1993). Letter to Copeland: A. Prior\u2019s influence on Cocchiarella (Personal communication)"},{"key":"896_CR24","unstructured":"Cocchiarella, N. B. (1997). Formally oriented work in the philosophy of language. In Philosophy of meaning, knowledge and value in the twentieth century. Routledge history of philosophy (Vol. X), London"},{"key":"896_CR25","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-6204-9_1","volume-title":"Formal ontology and conceptual realism","author":"NB Cocchiarella","year":"2007","unstructured":"Cocchiarella, N. B. (2007). Formal ontology and conceptual realism. Dordrecht: Springer."},{"key":"896_CR26","unstructured":"Cocchiarella, N. B. (2013a). Comments on Park\u2019s extended abstract \u2018Where Have All the Californian Tense-logicians Gone?\u2019, (Personal Communication, 11.08.2013)."},{"key":"896_CR27","unstructured":"Cocchiarella, N. B. (2013b). More notes on Park, (Personal Communication, 18.08.2013)"},{"key":"896_CR28","unstructured":"Cocchiarella, N. B. (2013c). Re: More notes on Park, (Personal Communication, 19.08.2013)"},{"key":"896_CR29","unstructured":"Cocchiarella, N. B. (2013d). Still more notes on Park, (Personal Communication, 17.12.2013)"},{"key":"896_CR30","unstructured":"Cocchiarella, N. B. (2014). Comments on Park\u2019s paper, (Personal Communication, 23.04.2014)"},{"key":"896_CR31","volume-title":"Logic and reality: Essays on the legacy of Arthur Prior","author":"J Copeland","year":"1996","unstructured":"Copeland, J. (1996). Prior\u2019s life and legacy. In J. Copeland (Ed.), Logic and reality: Essays on the legacy of Arthur Prior. Oxford: Oxford University Press."},{"key":"896_CR32","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-1453-3","volume-title":"Investigations in modal and tense logics with applications to problems in philosophy and linguistics","author":"DM Gabbay","year":"1976","unstructured":"Gabbay, D. M. (1976). Investigations in modal and tense logics with applications to problems in philosophy and linguistics. Dordrecht: Reidel."},{"key":"896_CR33","volume-title":"The international directory of logicians. Who\u2019s who in logic","year":"2009","unstructured":"Gabbay, D. M., & Woods, J. (Eds.). (2009). The international directory of logicians. Who\u2019s who in logic. London: College Publications."},{"key":"896_CR34","unstructured":"Kamp, H. (1967). 919, Kamp to Prior. 28.08. 1967, (Box 2)"},{"key":"896_CR35","unstructured":"Kamp, H. (1968). On tense logic and the theory of order. Ph. D. dissertation, UCLA"},{"key":"896_CR36","unstructured":"Kamp, H. (1969). 921, Kamp to Prior. 09.06. 1969, (Box 2)"},{"key":"896_CR37","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1111\/j.1755-2567.1971.tb00071.x","volume":"37","author":"H Kamp","year":"1971","unstructured":"Kamp, H. (1971). Formal properties of \u2018Now\u2019. Theoria, 37, 227\u2013273.","journal-title":"Theoria"},{"key":"896_CR38","unstructured":"Lemmon, E. J. (1964). 1099, Lemmon to Prior. 1964, (Box 2)"},{"key":"896_CR39","unstructured":"Lemmon, E. J. (1965). 1103, Lemmon to Cocchiarella.1965, (Box2)"},{"key":"896_CR40","unstructured":"Lemmon, E. J., & Scott, D. (1977). In K. Segerberg (Ed.), Introduction to modal logic. Oxford: American Philosophical Quarterly"},{"issue":"1","key":"896_CR41","doi-asserted-by":"crossref","first-page":"17","DOI":"10.2307\/2216154","volume":"3","author":"GJ Massey","year":"1969","unstructured":"Massey, G. J. (1969). Tense logic! Why bother? No\u00fbs, 3(1), 17\u201332.","journal-title":"No\u00fbs"},{"key":"896_CR42","doi-asserted-by":"crossref","unstructured":"McCall, S. (1967). 1310, McCall to Prior 19,10, 1967, (Box 2)","DOI":"10.2307\/523126"},{"issue":"4","key":"896_CR43","doi-asserted-by":"crossref","first-page":"618","DOI":"10.1017\/S0012217300034284","volume":"6","author":"S McCall","year":"1968","unstructured":"McCall, S. (1968). Review of past, present and future by Arthur Prior. Dialogue, 6(4), 618\u2013621.","journal-title":"Dialogue"},{"key":"896_CR44","unstructured":"Montague, R. (1968). Pragmatics. In R. Kilbansky (Ed.), Contemporary philosophy: A survey I, Florence. (Reprinted in Montague (1974), Chapter 3, pp. 95\u2013118). [Citations are from the latter]"},{"key":"896_CR45","doi-asserted-by":"crossref","unstructured":"Montague, R. (1970). Pragmatics and intensional logic. Synthese, 22, 68\u201394. (Reprinted in Montague (1974), Chapter 4, pp. 119-147). [Citations are from the latter]","DOI":"10.1007\/BF00413599"},{"key":"896_CR46","unstructured":"Montague, R. (1974). Formal philosophy: Selected papers of Richard Montague, Edited and with an introduction by Thomason, R. H., New Haven: Yale University Press"},{"key":"896_CR47","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-585-37463-5","volume-title":"Temporal logic: From ancient ideas to artificial intelligence","author":"P \u00d8hrstr\u00f8m","year":"1995","unstructured":"\u00d8hrstr\u00f8m, P., & Hasle, P. F. V. (1995). Temporal logic: From ancient ideas to artificial intelligence. Dordrecht: Kluwer."},{"key":"896_CR48","doi-asserted-by":"crossref","DOI":"10.1002\/9780470751305","volume-title":"Compositionality in formal semantics: Selected papers of Barbara partee","author":"BH Partee","year":"2004","unstructured":"Partee, B. H. (2004). Compositionality in formal semantics: Selected papers of Barbara partee. Oxford: Blackwell Publishing."},{"key":"896_CR49","volume-title":"La Logica Del Tempo","year":"1974","unstructured":"Pizzi, C. (Ed.). (1974). La Logica Del Tempo. Torino: Borinhiere."},{"key":"896_CR50","volume-title":"Time and modality","author":"AN Prior","year":"1957","unstructured":"Prior, A. N. (1957). Time and modality. London: Oxford University Press."},{"key":"896_CR51","unstructured":"Prior, A. N. (1963). 620, Prior to Moody. 08.02. 1963, (Box 4)"},{"key":"896_CR52","unstructured":"Prior, A. N. (1964). 619, Prior to Moody. 13.06.1964, (Box 4)"},{"key":"896_CR53","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001","volume-title":"Past, present and future","author":"AN Prior","year":"1967","unstructured":"Prior, A. N. (1967a). Past, present and future. Oxford: Oxford University Press."},{"key":"896_CR54","unstructured":"Prior, A. N. (1967b). 597, Prior to McCall 23.10.1967, (Box 4)"},{"key":"896_CR55","doi-asserted-by":"crossref","unstructured":"Prior, A. N. (1967c). 924, Prior to Cocchiarella. 20.12. 1967, (Box 1)","DOI":"10.1093\/acprof:oso\/9780198243113.003.0002"},{"key":"896_CR56","unstructured":"Prior, A. N. (1967d). 925, Prior to Cocchiarella. 27.12. 1967, (Box 1)"},{"key":"896_CR57","unstructured":"Prior, A. N. (1967e). 1370, Prior to Kamp. 17.03.1967 (from Hans Kamp\u2019s archive)"},{"key":"896_CR58","unstructured":"Prior, A. N. (1967f). 1372, Prior to Kamp.24.03.1967 (from Kamp\u2019s archive)"},{"key":"896_CR59","unstructured":"Prior, A. N. (1968a). 927, Prior to Cocchiarella 01.02. 1968, (Box 1)"},{"key":"896_CR60","unstructured":"Prior, A. N. (1968b). 928, Prior to Cocchiarella 05.02. 1968, (Box 1)"},{"key":"896_CR61","unstructured":"Prior, A. N. (1968c). 929, Prior to Cocchiarella 19.03. 1968, (Box 1)"},{"key":"896_CR62","doi-asserted-by":"crossref","first-page":"101","DOI":"10.2307\/2214699","volume":"2.2","author":"AN Prior","year":"1968","unstructured":"Prior, A. N. (1968e). Now. Nous, 2.2, 101\u2013119.","journal-title":"Nous"},{"key":"896_CR63","unstructured":"Prior, A. N. (1977). In K. Fine (Ed.), Worlds, times and selves. London: Duckworth"},{"key":"896_CR64","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-7664-1","volume-title":"Temporal logic","author":"N Rescher","year":"1971","unstructured":"Rescher, N., & Urquart, A. (1971). Temporal logic. Dordrecht: Springer."},{"key":"896_CR65","unstructured":"Segerberg, K. (1977). Editor\u2019s preface. In E. J. Lemmon & D. Scott (Eds.) (1977), pp. v\u2013x"},{"key":"896_CR66","unstructured":"Vlach, F. (1973). \u2018Now\u2019 and \u2018Then\u2019: A formal study in the logic of Tense Anaphora. Ph.D. dissertation, UCLA"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0896-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-015-0896-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0896-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0896-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,30]],"date-time":"2019-08-30T19:25:17Z","timestamp":1567193117000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-015-0896-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9,19]]},"references-count":66,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2016,11]]}},"alternative-id":["896"],"URL":"https:\/\/doi.org\/10.1007\/s11229-015-0896-9","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,9,19]]}}}