{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T23:48:31Z","timestamp":1743032911479,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"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_2","type":"book-chapter","created":{"date-parts":[[2015,8,24]],"date-time":"2015-08-24T07:53:56Z","timestamp":1440402836000},"page":"6-22","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Codability and Robustness in Formal Natural Language Semantics"],"prefix":"10.1007","author":[{"given":"Kristina","family":"Liefke","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,8,25]]},"reference":[{"issue":"2","key":"2_CR1","doi-asserted-by":"publisher","first-page":"56","DOI":"10.2307\/2266170","volume":"5","author":"A Church","year":"1940","unstructured":"Church, A.: A formulation of the simple theory of types. J. Symbolic Log. 5(2), 56\u201368 (1940)","journal-title":"J. Symbolic Log."},{"key":"2_CR2","volume-title":"Montague Grammar","author":"MJ Cresswell","year":"1976","unstructured":"Cresswell, M.J.: The semantics of degree. In: Partee, B. (ed.) Montague Grammar. Academic Press, New York (1976)"},{"key":"2_CR3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511778377","volume-title":"Computational Semantics with Functional Programming","author":"J van Eijck","year":"2010","unstructured":"van Eijck, J., Unger, C.: Computational Semantics with Functional Programming. Cambridge University Press, Cambridge (2010)"},{"issue":"2","key":"2_CR4","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1093\/jigpal\/12.2.135","volume":"12","author":"C Fox","year":"2004","unstructured":"Fox, C., Lappin, S.: An expressive first-order logic with flexible typing for natural language semantics. Log. J. IGPL 12(2), 135\u2013168 (2004)","journal-title":"Log. J. IGPL"},{"key":"2_CR5","volume-title":"Intensional and Higher-Order Modal Logic with Applications to Montague Semantics","author":"D Gallin","year":"1975","unstructured":"Gallin, D.: Intensional and Higher-Order Modal Logic with Applications to Montague Semantics. North Holland, Amsterdam (1975)"},{"issue":"2","key":"2_CR6","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/s10849-013-9173-9","volume":"22","author":"P de Groote","year":"2013","unstructured":"de Groote, P., Kanazawa, M.: A note on intensionalization. J. Log. Lang. Inform. 22(2), 173\u2013194 (2013)","journal-title":"J. Log. Lang. Inform."},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"81","DOI":"10.2307\/2266967","volume":"15","author":"L Henkin","year":"1950","unstructured":"Henkin, L.: Completeness in the theory of types. J. of Symb. Log. 15, 81\u201391 (1950)","journal-title":"J. of Symb. Log."},{"key":"2_CR8","unstructured":"Janssen, T.M.V.: Individual concepts are useful. In: Landman, F., Veltman, F. (eds.) Varieties of Formal Semantics: Proceedings of the 4th Amsterdam Colloquium (1984)"},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/BF00632365","volume":"8","author":"E Klein","year":"1985","unstructured":"Klein, E., Sag, I.: Type-driven translation. Linguist. Philos. 8, 163\u2013201 (1985)","journal-title":"Linguist. Philos."},{"key":"2_CR10","doi-asserted-by":"publisher","DOI":"10.4324\/9780203968871","volume-title":"Metaphysics: A Contemporary Introduction","author":"MJ Loux","year":"2006","unstructured":"Loux, M.J.: Metaphysics: A Contemporary Introduction. Routledge, New York (2006)"},{"key":"2_CR11","volume-title":"Formal Philosophy: Selected papers of Richard Montague","author":"R Montague","year":"1976","unstructured":"Montague, R.: English as a formal language. In: Thomason, R.H. (ed.) Formal Philosophy: Selected papers of Richard Montague. Yale University Press, New Haven (1976)"},{"key":"2_CR12","volume-title":"Formal Philosophy: Selected papers of Richard Montague","author":"R Montague","year":"1976","unstructured":"Montague, R.: The proper treatment of quantification in ordinary English. In: Thomason, R.H. (ed.) Formal Philosophy: Selected papers of Richard Montague. Yale University Press, New Haven (1976)"},{"key":"2_CR13","doi-asserted-by":"publisher","first-page":"412","DOI":"10.1007\/BFb0018456","volume":"478","author":"R Muskens","year":"1991","unstructured":"Muskens, R.: Anaphora and the logic of change. Log. AI 478, 412\u2013427 (1991)","journal-title":"Log. AI"},{"key":"2_CR14","series-title":"CSLI Lecture Notes","volume-title":"Meaning and Partiality","author":"R Muskens","year":"1995","unstructured":"Muskens, R.: Meaning and Partiality. CSLI Lecture Notes. FoLLI, Stanford (1995)"},{"key":"2_CR15","volume-title":"Meaning, Use and Interpretation of Language","author":"B Partee","year":"1983","unstructured":"Partee, B., Rooth, M.: Generalized conjunction and type ambiguity. In: Bauerle, R., Schwarz, C., von Stechow, A. (eds.) Meaning, Use and Interpretation of Language. Walter De Gruyter, Berlin (1983)"},{"key":"2_CR16","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/BF01448013","volume":"92","author":"M Sch\u00f6nfinkel","year":"1924","unstructured":"Sch\u00f6nfinkel, M.: \u00dcber die Bausteine der mathematischen Logik. Math. Ann. 92, 305\u2013316 (1924)","journal-title":"Math. Ann."},{"key":"2_CR17","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/BF00351813","volume":"4","author":"RH Thomason","year":"1980","unstructured":"Thomason, R.H.: A model theory for the propositional attitudes. Linguist. Philos. 4, 47\u201370 (1980)","journal-title":"Linguist. Philos."}],"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_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,10]],"date-time":"2021-08-10T12:03:58Z","timestamp":1628597038000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-48119-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662481189","9783662481196"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-48119-6_2","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"}}]}}