{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T04:05:06Z","timestamp":1748664306667,"version":"3.41.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662481189"},{"type":"electronic","value":"9783662481196"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-48119-6_7","type":"book-chapter","created":{"date-parts":[[2015,8,24]],"date-time":"2015-08-24T07:53:56Z","timestamp":1440402836000},"page":"83-98","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Resolving Modal Anaphora in Dependent Type Semantics"],"prefix":"10.1007","author":[{"given":"Ribeka","family":"Tanaka","sequence":"first","affiliation":[]},{"given":"Koji","family":"Mineshima","sequence":"additional","affiliation":[]},{"given":"Daisuke","family":"Bekki","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,8,25]]},"reference":[{"issue":"2","key":"7_CR1","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1093\/jos\/ffl013","volume":"24","author":"N Asher","year":"2007","unstructured":"Asher, N., McCready, E.: Were, would, might and a compositional account of counterfactuals. J. Semant. 24(2), 93\u2013129 (2007)","journal-title":"J. Semant."},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1007\/978-3-662-43742-1_2","volume-title":"Logical Aspects of Computational Linguistics","author":"D Bekki","year":"2014","unstructured":"Bekki, D.: Representing anaphora with dependent types. In: Asher, N., Soloviev, S. (eds.) LACL 2014. LNCS, vol. 8535, pp. 14\u201329. Springer, Heidelberg (2014)"},{"key":"7_CR3","unstructured":"Bekki, D., McCready, E.: CI via DTS. In: Proceedings of the 11th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS11), Kanagawa, Japan, pp. 110\u2013123 (2014)"},{"issue":"2","key":"7_CR4","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1023\/A:1008264518504","volume":"5","author":"GN Carlson","year":"1997","unstructured":"Carlson, G.N., Spejewski, B.: Generic passages. Nat. Lang. Semant. 5(2), 101\u2013165 (1997)","journal-title":"Nat. Lang. Semant."},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Chatzikyriakidis, S., Luo, Z.: Natural Language Reasoning Using Proof-assistant Technology : Rich Typing and Beyond. In: Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS), Gothenburg, Sweden, pp. 37\u201345 (2014)","DOI":"10.3115\/v1\/W14-1405"},{"key":"7_CR6","first-page":"169","volume-title":"Theoretical Issues In Natural Language Processing","author":"HH Clark","year":"1975","unstructured":"Clark, H.H.: Bridging. In: Schank, R.C., Nash-Webber, B.L. (eds.) Theoretical Issues In Natural Language Processing, pp. 169\u2013174. Association for Computing Machinery, New York (1975)"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Frank, A., Kamp, H.: On Context Dependence in Modal Constructions. In: Proceedings of SALT (1997)","DOI":"10.3765\/salt.v7i0.2790"},{"key":"7_CR8","volume-title":"Presuppositions and Pronouns","author":"B Geurts","year":"1999","unstructured":"Geurts, B.: Presuppositions and Pronouns. Elsevier, Oxford (1999)"},{"key":"7_CR9","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199234684.001.0001","volume-title":"Modals and Conditionals: New and Revised Perspectives","author":"A Kratzer","year":"2012","unstructured":"Kratzer, A.: Modals and Conditionals: New and Revised Perspectives. Oxford University Press, Oxford (2012)"},{"key":"7_CR10","volume-title":"Intuitionistic Type Theory","author":"P Martin-L\u00f6f","year":"1984","unstructured":"Martin-L\u00f6f, P.: Intuitionistic Type Theory. Bibliopolis, Naples (1984)"},{"key":"7_CR11","series-title":"Lecture Notes In Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-642-14287-1_11","volume-title":"Logic, Language and Meaning","author":"R Muskens","year":"2010","unstructured":"Muskens, R.: An analytic tableau system for natural logic. In: Aloni, M., Bastiaanse, H., de Jager, T., Schulz, K. (eds.) Logic, Language and Meaning. LNCS, vol. 6042, pp. 104\u2013113. Springer, Heidelberg (2010)"},{"key":"7_CR12","volume-title":"Type-theoretical Grammar","author":"A Ranta","year":"1994","unstructured":"Ranta, A.: Type-theoretical Grammar. Oxford University Press, Oxford (1994)"},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"683","DOI":"10.1007\/BF00632602","volume":"12","author":"C Roberts","year":"1989","unstructured":"Roberts, C.: Modal subordination and pronominal anaphora in discourse. Linguist. Philos. 12, 683\u2013721 (1989)","journal-title":"Linguist. Philos."},{"key":"7_CR14","first-page":"215","volume-title":"The Handbook of Contemporary Semantic Theory","author":"C Roberts","year":"1996","unstructured":"Roberts, C.: Anaphora in intensional contexts. In: Lappin, S. (ed.) The Handbook of Contemporary Semantic Theory, pp. 215\u2013246. Blackwell, Oxford (1996)"},{"issue":"3","key":"7_CR15","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1093\/jos\/ffh026","volume":"22","author":"R van Rooij","year":"2005","unstructured":"van Rooij, R.: A modal analysis of presupposition and modal subordination. J. Semant. 22(3), 281\u2013305 (2005)","journal-title":"J. Semant."},{"key":"7_CR16","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/6591.001.0001","volume-title":"The Syntactic Process","author":"M Steedman","year":"2000","unstructured":"Steedman, M.: The Syntactic Process. MIT Press\/Bradford Books, Cambridge (2000)"},{"key":"7_CR17","series-title":"Synthese Library","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1007\/978-94-009-5203-4_8","volume-title":"Handbook of Philosophical Logic","author":"G Sundholm","year":"1986","unstructured":"Sundholm, G.: Proof Theory and Meaning. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic. Synthese Library, vol. 166, pp. 471\u2013506. Springer, Netherlands (1986)"},{"key":"7_CR18","unstructured":"Tanaka, R., Mineshima, K., Bekki, D.: Resolving modal anaphora in Dependent Type Semantics. In: Proceedings of the 11th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS11), Kanagawa, Japan, pp. 43\u201356 (2014)"},{"key":"7_CR19","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/BF00248150","volume":"25","author":"F Veltman","year":"1996","unstructured":"Veltman, F.: Defaults in update semantics. J. Philos. Logic 25, 221\u2013261 (1996)","journal-title":"J. Philos. Logic"}],"container-title":["Lecture Notes in Computer Science","New Frontiers in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-48119-6_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T03:55:29Z","timestamp":1748577329000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-48119-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662481189","9783662481196"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-48119-6_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"25 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}