乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,11]],"date-time":"2024-06-11T22:10:12Z","timestamp":1718143812323},"reference-count":30,"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","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-0920-0","type":"journal-article","created":{"date-parts":[[2015,10,19]],"date-time":"2015-10-19T00:25:05Z","timestamp":1445214305000},"page":"3677-3689","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Reichenbach, Prior and hybrid tense logic"],"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":"920_CR1","volume-title":"The verb system of present-day American English","author":"RL Allen","year":"1966","unstructured":"Allen, R. L. (1966). The verb system of present-day American English (Vol. 24). The Hague: Mouton."},{"key":"920_CR2","unstructured":"Areces, C. (2000). Logic engineering: The case of description and hybrid logics. PhD thesis, University of Amsterdam."},{"key":"920_CR3","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/s10992-012-9260-4","volume":"43","author":"C Areces","year":"2014","unstructured":"Areces, C., Blackburn, P., Huertas, A., & Manzano, M. (2014). Completeness in hybrid type theory. Journal of Philosophical Logic, 43, 209\u2013238.","journal-title":"Journal of Philosophical Logic"},{"issue":"5","key":"920_CR4","doi-asserted-by":"crossref","first-page":"653","DOI":"10.1093\/jigpal\/8.5.653","volume":"8","author":"C Areces","year":"2000","unstructured":"Areces, C., Blackburn, P., & Marx, M. (2000). The computational complexity of hybrid temporal logics. Logic Journal of IGPL, 8(5), 653\u2013679.","journal-title":"Logic Journal of IGPL"},{"key":"920_CR5","volume-title":"The description logic handbook: Theory, implementation, and applications","year":"2003","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., & Patel-Schneider, P. (Eds.). (2003). The description logic handbook: Theory, implementation, and applications. Cambridge: Cambridge University Press."},{"key":"920_CR6","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195062069.001.0001","volume-title":"Time and the verb: A guide to tense and aspect","author":"RI Binnick","year":"1991","unstructured":"Binnick, R. I. (1991). Time and the verb: A guide to tense and aspect. Oxford: Oxford University Press."},{"key":"920_CR7","unstructured":"Blackburn, P. (1990). Nominal tense logic and other sorted intensional frameworks. PhD thesis, Centre for Cognitive Science, University of Edinburgh."},{"key":"920_CR8","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1093\/jos\/11.1-2.83","volume":"11","author":"P Blackburn","year":"1994","unstructured":"Blackburn, P. (1994). Tense, temporal reference and tense logic. Journal of Semantics, 11, 83\u2013101.","journal-title":"Journal of Semantics"},{"key":"920_CR9","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, 329\u2013372.","journal-title":"Synthese"},{"key":"920_CR10","unstructured":"Blackburn, P. & J\u00f8rgensen, K.\u00a0F. (2012). Indexical hybrid tense logic. In: T.\u00a0Bolander, T.\u00a0Br\u00e4uner, S.\u00a0Ghilardi & L.\u00a0Moss (Eds.), Advances in modal logic (Vol.\u00a09, pp. 144\u2013160)."},{"key":"920_CR11","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, pp. 185\u2013198). Lecture notes in computer science Berlin: Springer.","DOI":"10.1007\/978-3-642-40972-1_14"},{"key":"920_CR12","doi-asserted-by":"crossref","unstructured":"Blackburn, P., & J\u00f8rgensen, K.\u00a0F. (2015). Arthur Prior and \u2018Now\u2019, Synthese, this volume.","DOI":"10.1007\/s11229-015-0921-z"},{"issue":"1\u20134","key":"920_CR13","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1023\/A:1018988913388","volume":"24","author":"P Blackburn","year":"1998","unstructured":"Blackburn, P., & Tzakova, M. (1998). Hybridizing concept languages. Annals of Mathematics and Artificial Intelligence, 24(1\u20134), 23\u201349.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"1","key":"920_CR14","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1093\/jigpal\/7.1.27","volume":"7","author":"P Blackburn","year":"1999","unstructured":"Blackburn, P., & Tzakova, M. (1999). Hybrid languages and temporal logic. Logic Journal of IGPL, 7(1), 27\u201354.","journal-title":"Logic Journal of IGPL"},{"key":"920_CR15","doi-asserted-by":"crossref","first-page":"282","DOI":"10.1111\/j.1755-2567.1970.tb00428.x","volume":"36","author":"R Bull","year":"1970","unstructured":"Bull, R. (1970). An approach to tense logic. Theoria, 36, 282\u2013300.","journal-title":"Theoria"},{"key":"920_CR16","unstructured":"Comrie, B. (1981). On Reichenbach\u2019s approach to tense. In: Papers from the seventeenth regional meeting. Chicago Linguistic Society Chicago, Ill (pp.\u00a024\u201330)."},{"key":"920_CR17","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139165815","volume-title":"Tense","author":"B Comrie","year":"1985","unstructured":"Comrie, B. (1985). Tense. Cambridge: Cambridge University Press."},{"key":"920_CR18","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, 607\u2013636.","journal-title":"Journal of Philosophical Logic"},{"key":"920_CR19","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195091922.001.0001","volume-title":"Tense and aspect: From semantics to morphosyntax","author":"A Giorgi","year":"1997","unstructured":"Giorgi, A., & Pianesi, F. (1997). Tense and aspect: From semantics to morphosyntax. Oxford: Oxford University Press."},{"key":"920_CR20","volume-title":"The philosophy of grammar","author":"O Jespersen","year":"1965","unstructured":"Jespersen, O. (1965). The philosophy of grammar. Chicago: University of Chicago Press."},{"key":"920_CR21","first-page":"189","volume-title":"Formal semantics-the essential readings","author":"H Kamp","year":"1981","unstructured":"Kamp, H. (1981). Formal semantics-the essential readings. In P. Portner & B. H. Partee (Eds.), Formal semantics-the essential readings (pp. 189\u2013222). Oxford: Blackwell."},{"key":"920_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-1616-1","volume-title":"From discourse to logic: Introduction to modeltheoretic semantics of natural language, formal logic and discourse representation theory","author":"H Kamp","year":"1993","unstructured":"Kamp, H., & Reyle, U. (1993). From discourse to logic: Introduction to modeltheoretic semantics of natural language, formal logic and discourse representation theory. Berlin: Springer."},{"key":"920_CR23","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1515\/9783110852820.250","volume-title":"Meaning, use and interpretation of language","author":"H Kamp","year":"1983","unstructured":"Kamp, H., & Rohrer, C. (1983). Tense in texts. In R. Baeuerle, C. Schwarze, & A. von Stechow (Eds.), Meaning, use and interpretation of language (pp. 250\u2013269). Berlin: de Gruyter."},{"key":"920_CR24","doi-asserted-by":"crossref","unstructured":"Montague, R. (1973). The proper treatment of quantification in ordinary English. In J.\u00a0Hintikka, J.\u00a0Moravcsik & P.\u00a0Suppes (eds), Approaches to natural language, Reidel (pp.\u00a0221\u2013242). Reprinted in\u00a0Thomason (1974).","DOI":"10.1007\/978-94-010-2506-5_10"},{"key":"920_CR25","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. (1995). Temporal logic: From ancient ideas to artificial intelligence (Vol. 57). Heidelberg: Springer Science & Business Media."},{"issue":"3","key":"920_CR26","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/BF00627707","volume":"7","author":"BH Partee","year":"1984","unstructured":"Partee, B. H. (1984). Nominal and temporal anaphora. Linguistics and Philosophy, 7(3), 243\u2013286.","journal-title":"Linguistics and Philosophy"},{"key":"920_CR27","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001","volume-title":"Past, present and future","author":"A Prior","year":"1967","unstructured":"Prior, A. (1967). Past, present and future. Oxford: Oxford University Press."},{"key":"920_CR28","unstructured":"Prior, A. (1968\/2003). Papers on time and tense, new edition, Oxford University Press. Originally published in 1968. Special edition edited by Hasle, \u00d8hrstr\u00f8m, Bra\u00fcner, and Copeland published in 2003"},{"key":"920_CR29","volume-title":"Elements of symbolic logic","author":"H Reichenbach","year":"1947","unstructured":"Reichenbach, H. (1947). Elements of symbolic logic. New York: Free Press."},{"key":"920_CR30","volume-title":"Formal philosophy: Selected papers by Richard Montague","year":"1974","unstructured":"Thomason, R. (Ed.). (1974). Formal philosophy: Selected papers by Richard Montague. Yale: Yale University Press."}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0920-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-015-0920-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0920-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0920-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,11]],"date-time":"2024-06-11T21:33:02Z","timestamp":1718141582000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-015-0920-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,17]]},"references-count":30,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2016,11]]}},"alternative-id":["920"],"URL":"https:\/\/doi.org\/10.1007\/s11229-015-0920-0","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]]}}}