{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:58:21Z","timestamp":1740099501057,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662596470"},{"type":"electronic","value":"9783662596487"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-662-59648-7_4","type":"book-chapter","created":{"date-parts":[[2019,8,1]],"date-time":"2019-08-01T00:04:09Z","timestamp":1564617849000},"page":"51-66","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Quantificational Subordination as Anaphora to a Function"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6549-1248","authenticated-orcid":false,"given":"Matthew","family":"Gotham","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,7,5]]},"reference":[{"issue":"2","key":"4_CR1","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/BF00350139","volume":"4","author":"J Barwise","year":"1981","unstructured":"Barwise, J., Cooper, R.: Generalized quantifiers and natural language. Linguist. Philos. 4(2), 159\u2013219 (1981)","journal-title":"Linguist. Philos."},{"key":"4_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). https:\/\/doi.org\/10.1007\/978-3-662-43742-1_2"},{"key":"4_CR3","series-title":"Studies in Linguistics and Philosophy","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/978-3-319-50422-3_2","volume-title":"Modern Perspectives in Type-Theoretical Semantics","author":"D Bekki","year":"2017","unstructured":"Bekki, D., Mineshima, K.: Context-passing and underspecification in dependent type semantics. In: Chatzikyriakidis, S., Luo, Z. (eds.) Modern Perspectives in Type-Theoretical Semantics. SLP, vol. 98, pp. 11\u201341. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-50422-3_2"},{"key":"4_CR4","unstructured":"van den Berg, M.: Some aspects of the internal structure of discourse. Ph.D. thesis, University of Amsterdam (1996)"},{"key":"4_CR5","unstructured":"Brasoveanu, A.: Structured nominal and modal reference. Ph.D. thesis, Rutgers University (2007)"},{"key":"4_CR6","series-title":"Studies in Linguistics and Philosophy","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-50422-3","volume-title":"Modern Perspectives in Type-Theoretical Semantics","year":"2017","unstructured":"Chatzikyriakidis, S., Luo, Z. (eds.): Modern Perspectives in Type-Theoretical Semantics. SLP, vol. 98. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-50422-3"},{"key":"4_CR7","unstructured":"Cooper, R.: The interpretation of pronouns. In: Heny, F., Schnelle, H. (eds.) Syntax and Semantics, vol. 10, pp. 61\u201392. Academic Press, New York (1979)"},{"issue":"2","key":"4_CR8","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1093\/logcom\/exi004","volume":"15","author":"R Cooper","year":"2005","unstructured":"Cooper, R.: Records and record types in semantic theory. J. Logic. Comput. 15(2), 99\u2013112 (2005)","journal-title":"J. Logic. Comput."},{"key":"4_CR9","volume-title":"Situations and Individuals","author":"P Elbourne","year":"2005","unstructured":"Elbourne, P.: Situations and Individuals. MIT Press, Cambridge (2005)"},{"key":"4_CR10","unstructured":"Geach, P.T.: Reference and generality. In: Contemporary Philosophy, Cornell University Press, Ithaca (1962)"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-662-56343-4_3","volume-title":"Formal Grammar","author":"M Gotham","year":"2018","unstructured":"Gotham, M.: A model-theoretic reconstruction of type-theoretic semantics for anaphora. In: Foret, A., Muskens, R., Pogodalla, S. (eds.) FG 2017. LNCS, vol. 10686, pp. 37\u201353. Springer, Heidelberg (2018). https:\/\/doi.org\/10.1007\/978-3-662-56343-4_3"},{"issue":"1","key":"4_CR12","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/BF00628304","volume":"14","author":"J Groenendijk","year":"1991","unstructured":"Groenendijk, J., Stokhof, M.: Dynamic predicate logic. Linguist. Philos. 14(1), 39\u2013100 (1991)","journal-title":"Linguist. Philos."},{"key":"4_CR13","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1093\/jos\/fft008","volume":"31","author":"DTT Haug","year":"2014","unstructured":"Haug, D.T.T.: Partial dynamic semantics for anaphora. J. Seman. 31, 457\u2013511 (2014)","journal-title":"J. Seman."},{"key":"4_CR14","unstructured":"Heim, I.: The semantics of definite and indefinite nouns phrases. Ph.D. thesis, University of Massachussetts, Amherst (1982)"},{"issue":"2","key":"4_CR15","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1023\/A:1005464228727","volume":"22","author":"P Jacobson","year":"1999","unstructured":"Jacobson, P.: Towards a variable-free semantics. Linguist, Philos. 22(2), 117\u2013184 (1999)","journal-title":"Linguist, Philos."},{"key":"4_CR16","volume-title":"Compositional Semantics","author":"P Jacobson","year":"2014","unstructured":"Jacobson, P.: Compositional Semantics. Oxford University Press, Oxford (2014)"},{"key":"4_CR17","unstructured":"Kamp, H.: A theory of truth and semantic representation. In: Groenendijk, J., Janssen, T., Stokhof, M. (eds.) Formal Methods in the Study of Language, pp. 277\u2013322. Mathematisch Centrum, Amsterdam (1981)"},{"key":"4_CR18","volume-title":"Dynamic Syntax","author":"R Kempson","year":"2001","unstructured":"Kempson, R., Meyer-Viol, W., Gabbay, D.: Dynamic Syntax. Blackwell, Oxford (2001)"},{"key":"4_CR19","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1093\/jos\/ffx020","volume":"35","author":"E Keshet","year":"2018","unstructured":"Keshet, E.: Dynamic update anaphora logic. J. Seman. 35, 263\u2013303 (2018). https:\/\/doi.org\/10.1093\/jos\/ffx020","journal-title":"J. Seman."},{"issue":"2","key":"4_CR20","doi-asserted-by":"crossref","first-page":"143","DOI":"10.5617\/osla.6680","volume":"10","author":"E Kinoshita","year":"2018","unstructured":"Kinoshita, E., Mineshima, K., Bekki, D.: Coercion as proof search in dependent type semantics. Oslo Stud. Lang. 10(2), 143\u2013162 (2018)","journal-title":"Oslo Stud. Lang."},{"key":"4_CR21","unstructured":"Kratzer, A.: Situations in natural language semantics. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, Summer 2019 (2019). https:\/\/plato.stanford.edu\/archives\/sum2019\/entries\/situations-semantics\/"},{"key":"4_CR22","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-1-4020-5958-2_5","volume-title":"Computing Meaning","author":"Alex Lascarides","year":"2008","unstructured":"Lascarides, A., Asher, N.: Segmented discourse representation theory. In: Bunt, H., Muskens, R. (eds.) Computing Meaning, pp. 87\u2013124. No. 83 in Studies in Linguistics and Philosophy, Springer, Dordrecht (2008). https:\/\/doi.org\/10.1007\/978-1-4020-5958-2_5"},{"key":"4_CR23","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/S0049-237X(08)71945-1","volume-title":"Logic Colloquium '73, Proceedings of the Logic Colloquium","author":"Per Martin-L\u00f6f","year":"1975","unstructured":"Martin-L\u00f6f, P.: An intuitionistic theory of types: predicative part. In: Rose, H., Shepherdson, J. (eds.) Logic Colloquium 1973, pp. 73\u2013118. No. 80 in Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam (1975)"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Peregrin, J., von Heusinger, K.: Dynamic semantics with choice functions. In: Kamp, H., Partee, B. (eds.) Context-Dependence in the Analysis of Linguistic Meaning, pp. 255\u2013274. Elsevier, Amsterdam (2004)","DOI":"10.1163\/9789004487222_015"},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"Ranta, A.: Type-Theoretical Grammar. No. 1 in Indices, Oxford University Press, Oxford (1994)","DOI":"10.1093\/oso\/9780198538578.003.0001"},{"key":"4_CR26","unstructured":"Roberts, C.: Modal subordination, anaphora and distributivity, Ph.D. thesis, University of Massachusetts at Amherst (1987)"},{"key":"4_CR27","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, Cambridge (2000)"},{"key":"4_CR28","volume-title":"Taking Scope","author":"M Steedman","year":"2012","unstructured":"Steedman, M.: Taking Scope. MIT Press, Cambridge (2012)"},{"key":"4_CR29","series-title":"Synthese Library (Studies in Epistemology, Logic, Methodology, and Philosophy of Science)","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., Guenther, F. (eds.) Handbook of philosophical logic. Synthese Library (Studies in Epistemology, Logic, Methodology, and Philosophy of Science), vol. 166, pp. 471\u2013506. Springer, Dordrecht (1986). https:\/\/doi.org\/10.1007\/978-94-009-5203-4_8"},{"issue":"1","key":"4_CR30","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00873254","volume":"79","author":"G Sundholm","year":"1989","unstructured":"Sundholm, G.: Constructive generalized quantifiers. Synthese 79(1), 1\u201312 (1989)","journal-title":"Synthese"},{"key":"4_CR31","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-319-61572-1_9","volume-title":"New Frontiers in Artificial Intelligence","author":"R Tanaka","year":"2017","unstructured":"Tanaka, R., Mineshima, K., Bekki, D.: On the interpretation of dependent plural anaphora in a dependently-typed setting. In: Kurahashi, S., Ohta, Y., Arai, S., Satoh, K., Bekki, D. (eds.) JSAI-isAI 2016. LNCS (LNAI), vol. 10247, pp. 123\u2013137. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-61572-1_9"},{"key":"4_CR32","unstructured":"Tanaka, R., Mineshima, K., Bekki, D.: Paychecks, presupposition, and dependent types. EasyChair Preprint no. 215 (2018). 10.29007\/qw7n"},{"key":"4_CR33","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-319-10061-6_8","volume-title":"New Frontiers in Artificial Intelligence","author":"R Tanaka","year":"2014","unstructured":"Tanaka, R., Nakano, Y., Bekki, D.: Constructive generalized quantifiers revisited. In: Nakano, Y., Satoh, K., Bekki, D. (eds.) JSAI-isAI 2013. LNCS (LNAI), vol. 8417, pp. 115\u2013124. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-10061-6_8"},{"key":"4_CR34","doi-asserted-by":"crossref","unstructured":"Wang, L., McCready, E., Asher, N.: Information dependency in quantificational subordination. In: von Heusinger, K., Turner, K. (eds.) Where Semantics Meets Pragmatics, pp. 267\u2013306. Elsevier (2003)","DOI":"10.1163\/9780080462608_016"}],"container-title":["Lecture Notes in Computer Science","Formal Grammar"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-59648-7_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,21]],"date-time":"2024-07-21T15:34:44Z","timestamp":1721576084000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-59648-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783662596470","9783662596487"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-59648-7_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"5 July 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FG","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Grammar","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Riga","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Latvia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 August 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 August 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fg2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/fg.phil.hhu.de\/2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"11","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"7","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"64% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}