{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T10:05:04Z","timestamp":1775037904606,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662481189","type":"print"},{"value":"9783662481196","type":"electronic"}],"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_3","type":"book-chapter","created":{"date-parts":[[2015,8,24]],"date-time":"2015-08-24T07:53:56Z","timestamp":1440402836000},"page":"23-36","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["CI via DTS"],"prefix":"10.1007","author":[{"given":"Daisuke","family":"Bekki","sequence":"first","affiliation":[]},{"given":"Elin","family":"McCready","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,8,25]]},"reference":[{"key":"3_CR1","doi-asserted-by":"publisher","first-page":"707","DOI":"10.1007\/s10988-008-9025-2","volume":"30","author":"P Amaral","year":"2008","unstructured":"Amaral, P., Roberts, C., Smith, E.: Review of \u2018the logic of conventional implicatures\u2019 by Christopher Potts. Linguist. Philos. 30, 707\u2013749 (2008)","journal-title":"Linguist. Philos."},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-642-25655-4_2","volume-title":"New Frontiers in Artificial Intelligence","author":"N Asher","year":"2011","unstructured":"Asher, N., Pogodalla, S.: SDRT and continuation semantics. In: Onoda, T., Bekki, D., McCready, E. (eds.) JSAI-isAI 2010. LNCS, vol. 6797, pp. 3\u201315. Springer, Heidelberg (2011)"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Barker, C., Bernardi, R., Shan, C.: Principles of interdemensional meaning interaction. In: Li, N., Lutz, D. (eds.) Semantics and Linguistic Theory (SALT) 20, pp. 109\u2013127. eLanguage (2011)","DOI":"10.3765\/salt.v20i0.2569"},{"issue":"1","key":"3_CR4","first-page":"1","volume":"1","author":"C Barker","year":"2008","unstructured":"Barker, C., Shan, C.C.: Donkey anaphora is in-scope binding. Semantics and Pragmatics 1(1), 1\u201346 (2008)","journal-title":"Semantics and Pragmatics"},{"key":"3_CR5","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)"},{"issue":"2\u20133","key":"3_CR6","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0890-5401(88)90005-3","volume":"76","author":"T Coquand","year":"1988","unstructured":"Coquand, T., Huet, G.: The calculus of constructions. Inf. Comput. 76(2\u20133), 95\u2013120 (1988)","journal-title":"Inf. Comput."},{"key":"3_CR7","first-page":"41","volume-title":"Syntax and Semantics 3: Speech Acts","author":"HP Grice","year":"1975","unstructured":"Grice, H.P.: Logic and conversation. In: Cole, P., Morgan, J.L. (eds.) Syntax and Semantics 3: Speech Acts, pp. 41\u201358. Academic Press, London (1975)"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"de Groote, P.: Towards a montagovian account of dynamics. In: Gibson, M., Howell, J. (eds.) 16th Semantics and Linguistic Theory Conference (SALT16), pp. 148\u2013155. CLC Publications, University of Tokyo (2006)","DOI":"10.3765\/salt.v16i0.2952"},{"key":"3_CR9","unstructured":"Gutzmann, D.: Expressive modifiers & mixed expressives. In: Bonami, O., Cabredo Hofherr, P. (eds.) Empirical Issues in Syntax and Semantics 8, pp. 143\u2013165 (2011)"},{"key":"3_CR10","unstructured":"Gutzmann, D.: Use-Conditional Meaning: studies in multidimensional semantics. Ph.D. thesis, Universit\u00e4t Frankfurt (2012)"},{"key":"3_CR11","volume-title":"Semantics in Generative Grammar","author":"I Heim","year":"1998","unstructured":"Heim, I., Kratzer, A.: Semantics in Generative Grammar. Blackwell, Oxford (1998). No. 13 in Blackwell Textbooks in Linguistics"},{"key":"3_CR12","doi-asserted-by":"publisher","first-page":"416","DOI":"10.5840\/jphil2008105834","volume":"105","author":"C Hom","year":"2008","unstructured":"Hom, C.: The semantics of racial epithets. J. Philos. 105, 416\u2013440 (2008)","journal-title":"J. Philos."},{"issue":"3","key":"3_CR13","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/s11098-011-9749-7","volume":"159","author":"C Hom","year":"2010","unstructured":"Hom, C.: A puzzle about pejoratives. Philos. Stud. 159(3), 383\u2013405 (2010)","journal-title":"Philos. Stud."},{"key":"3_CR14","volume-title":"Computing Meanings: Current Issues in Computational Semantics","author":"E Krahmer","year":"1999","unstructured":"Krahmer, E., Piwek, P.: Presupposition projection as proof construction. In: Bunt, H., Muskens, R. (eds.) Computing Meanings: Current Issues in Computational Semantics. Kluwer Academic Publishers, Dordrecht (1999). Studies in Linguistics Philosophy Series"},{"issue":"2","key":"3_CR15","doi-asserted-by":"publisher","first-page":"177","DOI":"10.3233\/FI-2010-304","volume":"102","author":"A L\u00f6h","year":"2010","unstructured":"L\u00f6h, A., McBride, C., Swierstra, W.: A tutorial implementation of a dependently typed lambda calculus. Fundamenta Informaticae - Dependently Typed Program. 102(2), 177\u2013207 (2010)","journal-title":"Fundamenta Informaticae - Dependently Typed Program."},{"key":"3_CR16","unstructured":"Martin-L\u00f6f, P.: Intuitionistic type theory. In: sambin, G. (ed.) vol. 17. Bibliopolis, Naples (1984)"},{"key":"3_CR17","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/978-94-010-2506-5_10","volume-title":"Approaches to Natural Language","author":"R Montague","year":"1973","unstructured":"Montague, R.: The proper treatment of quantification in ordinary english. In: Hintikka, J., Moravcsic, J., Suppes, P. (eds.) Approaches to Natural Language, pp. 221\u2013242. Reidel, Dordrecht (1973)"},{"key":"3_CR18","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/s11168-006-9019-6","volume":"5","author":"R Nouwen","year":"2007","unstructured":"Nouwen, R.: On appositives and dynamic binding. Res. Lang. Comput. 5, 87\u2013102 (2007)","journal-title":"Res. Lang. Comput."},{"key":"3_CR19","volume-title":"The Logic of Conventional Implicatures","author":"C Potts","year":"2005","unstructured":"Potts, C.: The Logic of Conventional Implicatures. Oxford University Press, New York (2005)"},{"key":"3_CR20","volume-title":"Type-Theoretical Grammar","author":"A Ranta","year":"1994","unstructured":"Ranta, A.: Type-Theoretical Grammar. Oxford University Press, New York (1994)"},{"key":"3_CR21","unstructured":"Roberts, C.: Information structure: towards an integrated formal theory of pragmatics. In: OSUWPL, Papers in Semantics, vol. 49. The Ohio State University Department of Linguistics (1996)"},{"key":"3_CR22","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1093\/jos\/9.4.333","volume":"9","author":"R van der Sandt","year":"1992","unstructured":"van der Sandt, R.: Presupposition projection as anaphora resolution. J. Seman. 9, 333\u2013377 (1992)","journal-title":"J. Seman."},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Simons, M., Tonhauser, J., Beaver, D., Roberts, C.: What projects and why. In: Proceedings of SALT 20, pp. 309\u2013327. CLC Publications (2011)","DOI":"10.3765\/salt.v20i0.2584"},{"key":"3_CR24","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, vol. III, pp. 471\u2013506. Kluwer, Reidel, Dordrecht (1986)"},{"key":"3_CR25","first-page":"13","volume":"11","author":"L Wang","year":"2005","unstructured":"Wang, L., Reese, B., McCready, E.: The projection problem of nominal appositives. Snippets 11, 13\u201314 (2005)","journal-title":"Snippets"}],"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_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,10]],"date-time":"2021-08-10T12:03:53Z","timestamp":1628597033000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-48119-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662481189","9783662481196"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-48119-6_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"25 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}