乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,1]],"date-time":"2024-04-01T17:47:36Z","timestamp":1711993656882},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"11","license":[{"start":{"date-parts":[[2015,10,17]],"date-time":"2015-10-17T00:00:00Z","timestamp":1445040000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100008397","name":"Velux Fonden (DK)","doi-asserted-by":"publisher","award":["33305"],"id":[{"id":"10.13039\/100008397","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2016,11]]},"DOI":"10.1007\/s11229-015-0921-z","type":"journal-article","created":{"date-parts":[[2015,10,18]],"date-time":"2015-10-18T19:30:24Z","timestamp":1445196624000},"page":"3665-3676","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Arthur Prior and \u2018Now\u2019"],"prefix":"10.1007","volume":"193","author":[{"given":"Patrick","family":"Blackburn","sequence":"first","affiliation":[]},{"given":"Klaus Frovin","family":"J\u00f8rgensen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,10,17]]},"reference":[{"key":"921_CR1","unstructured":"Blackburn, P. (1990). Nominal tense logic and other sorted intensional frameworks. PhD thesis, Centre for Cognitive Science, University of Edinburgh."},{"issue":"3","key":"921_CR2","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1007\/s11229-005-5512-y","volume":"150","author":"P Blackburn","year":"2006","unstructured":"Blackburn, P. (2006). Arthur Prior and hybrid logic. Synthese, 150(3), 329\u2013372.","journal-title":"Synthese"},{"key":"921_CR3","unstructured":"Blackburn, P., & J\u00f8rgensen, K. F. (2012). Indexical hybrid tense logic. In T. Bolander, T. Br\u00e4uner, S. Ghilardi & L. Moss (Eds.), Advances in Modal Logic (Vol. 9, pp. 144\u201360)."},{"key":"921_CR4","doi-asserted-by":"crossref","unstructured":"Blackburn, P., & J\u00f8rgensen, K. F. (2013). Contextual validity in hybrid logic. In P. Brezillon & P. Blackburn (Eds.), Modeling using context, Vol. 8177 of Lecture Notes in Computer Science (pp. 185\u2013198). Heidelberg: Springer.","DOI":"10.1007\/978-3-642-40972-1_14"},{"issue":"3","key":"921_CR5","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1023\/A:1015726824270","volume":"31","author":"P Blackburn","year":"2002","unstructured":"Blackburn, P., & Marx, M. (2002). Remarks on Gregory\u2019s actually operator. Journal of Philosophical Logic, 31(3), 281\u2013288.","journal-title":"Journal of Philosophical Logic"},{"issue":"3","key":"921_CR6","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/BF01049415","volume":"4","author":"P Blackburn","year":"1995","unstructured":"Blackburn, P., & Seligman, J. (1995). Hybrid languages. Journal of Logic, Language and Information, 4(3), 251\u2013272.","journal-title":"Journal of Logic, Language and Information"},{"issue":"2","key":"921_CR7","first-page":"85","volume":"4","author":"H-N Casta\u00f1eda","year":"1967","unstructured":"Casta\u00f1eda, H.-N. (1967). Indicators and quasi-indicators. American Philosophical Quarterly, 4(2), 85\u2013100.","journal-title":"American Philosophical Quarterly"},{"issue":"6","key":"921_CR8","doi-asserted-by":"crossref","first-page":"607","DOI":"10.1007\/BF01054038","volume":"22","author":"G Gargov","year":"1993","unstructured":"Gargov, G., & Goranko, V. (1993). Modal logic with names. Journal of Philosophical Logic, 22(6), 607\u2013636.","journal-title":"Journal of Philosophical Logic"},{"issue":"1","key":"921_CR9","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1093\/logcom\/2.1.5","volume":"2","author":"V Goranko","year":"1992","unstructured":"Goranko, V., & Passy, S. (1992). Using the universal modality: Gains and questions. Journal of Logic and Computation, 2(1), 5\u201330.","journal-title":"Journal of Logic and Computation"},{"key":"921_CR10","unstructured":"Kamp, H. (1967). The treatment of \u2018now\u2019 as a 1-pl. sentential operator. Unpublished lecture notes with copy available at the Prior Archive."},{"key":"921_CR11","unstructured":"Kamp, H. (1971). Formal properties of \u2018now\u2019. Theoria, 37, 237\u2013273."},{"issue":"2","key":"921_CR12","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1305\/ndjfl\/1093958149","volume":"6","author":"CA Meredith","year":"1965","unstructured":"Meredith, C. A., & Prior, A. N. (1965). Modal logic with functorial variables and a contingent constant. Notre Dame Journal of Formal Logic, 6(2), 99\u2013109.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"921_CR13","unstructured":"Prior, A. N. (1967). Eight letters send to Hans Kamp in December 1967. Unpublished letters available in transcribed form at http:\/\/research.prior.aau.dk\/ ."},{"key":"921_CR14","unstructured":"Prior, A. N. (1968). \u2018Now\u2019, No\u00fbs 2: 101\u2013119. Prior\u2019s paper is reprinted in modern notation as chaper XIV of (Prior 1968\/2003, 171\u2013195). All our page references are to that reprint."},{"key":"921_CR15","unstructured":"Prior, A. N. (1968\/2003). Papers on time and tense, New edn, Oxford University Press. Originally published in 1968. Special edition edited by Hasle, \u00d8hrstr\u00f8m, Bra\u00fcner, and Copeland published in 2003."}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0921-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-015-0921-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0921-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0921-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T06:45:13Z","timestamp":1559371513000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-015-0921-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,17]]},"references-count":15,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2016,11]]}},"alternative-id":["921"],"URL":"https:\/\/doi.org\/10.1007\/s11229-015-0921-z","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,10,17]]}}}