{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T11:59:26Z","timestamp":1725796766696},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662441206"},{"type":"electronic","value":"9783662441213"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-44121-3_9","type":"book-chapter","created":{"date-parts":[[2014,7,10]],"date-time":"2014-07-10T06:36:46Z","timestamp":1404974206000},"page":"138-154","source":"Crossref","is-referenced-by-count":4,"title":["A Dynamic Categorial Grammar"],"prefix":"10.1007","author":[{"given":"Scott","family":"Martin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carl","family":"Pollard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Beaver, D.I.: Presupposition and Assertion in Dynamic Semantics. CSLI Publications (2001)"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Chierchia, G.: The Dynamics of Meaning: Anaphora, Presupposition, and the Theory of Grammar. University of Chicago Press (1995)","DOI":"10.7208\/chicago\/9780226104515.001.0001"},{"issue":"2","key":"9_CR3","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. Journal of Symbolic Logic\u00a05(2), 56\u201368 (1940)","journal-title":"Journal of Symbolic Logic"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"van Eijck, J., Unger, C.: Computational Semantics with Functional Programming. Cambridge University Press (2010)","DOI":"10.1017\/CBO9780511778377"},{"key":"9_CR5","unstructured":"Frege, G.: \u00dcber Sinn und Bedeutung. Zeitschrift f\u00fcr Philosophie und philosophische Kritik 100, 25\u201350 (1892), English translation titled On Sense and Reference in [7], pp. 56\u201378"},{"key":"9_CR6","volume-title":"Intensional and Higher Order Modal Logic, Mathematics Studies","author":"D. Gallin","year":"1975","unstructured":"Gallin, D.: Intensional and Higher Order Modal Logic, Mathematics Studies, vol.\u00a019. North-Holland, Amsterdam (1975)"},{"key":"9_CR7","volume-title":"Translations from the Philosophical Writings of Gottlob Frege","author":"P. Geach","year":"1952","unstructured":"Geach, P., Black, M.: Translations from the Philosophical Writings of Gottlob Frege. Blackwell, Oxford (1952)"},{"key":"9_CR8","unstructured":"Groenendijk, J., Stokhof, M.: Dynamic Montague grammar. In: K\u00e1lm\u00e1n, L., P\u00f3los, L. (eds.) Papers from the Second Symposium on Logic and Language. Akad\u00e9miai Kiad\u00f3 (1990)"},{"issue":"1","key":"9_CR9","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. Linguistics and Philosophy\u00a014(1), 39\u2013100 (1991)","journal-title":"Linguistics and Philosophy"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"de Groote, P.: Towards abstract categorial grammars. In: Association for Computational Linguistics, Proceedings of the 39th Annual Meeting and 10th Conference of the European Chapter (2001)","DOI":"10.3115\/1073012.1073045"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"de Groote, P.: Towards a Montagovian account of dynamics. In: Proceedings of the 16th Conference on Semantics and Linguistic Theory (2006)","DOI":"10.3765\/salt.v16i0.2952"},{"key":"9_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Grammar","year":"2012","unstructured":"de Groote, P., Nederhof, M.-J. (eds.): Formal Grammar 2010\/2011. LNCS, vol.\u00a07395. Springer, Heidelberg (2012)"},{"key":"9_CR13","unstructured":"Heim, I.: The Semantics of Definite and Indefinite Noun Phrases. Ph.D. thesis, University of Massachusetts, Amherst (1982)"},{"issue":"2","key":"9_CR14","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. Journal of Symbolic Logic\u00a015(2), 81\u201391 (1950)","journal-title":"Journal of Symbolic Logic"},{"key":"9_CR15","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. Mathematical Center, Amsterdam (1981)"},{"issue":"2","key":"9_CR16","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/BF00984775","volume":"17","author":"M. Kanazawa","year":"1994","unstructured":"Kanazawa, M.: Weak vs. strong readings of donkey sentences and monotonicity inference in a dynamic setting. Linguistics and Philosophy\u00a017(2), 109\u2013158 (1994)","journal-title":"Linguistics and Philosophy"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Kierstead, G., Martin, S.: A multistratal account of the projective Tagalog evidential \u2018daw\u2019. In: Proceedings of the 22nd Conference on Semantics and Linguistic Theory (2012)","DOI":"10.3765\/salt.v22i0.2653"},{"key":"9_CR18","unstructured":"Kripke, S.: Naming and Necessity. Harvard University Press (1980)"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Martin, S.: Weak familiarity and anaphoric accessibility in dynamic semantics. In: de Groote, Nederhof (eds.) [12], pp. 287\u2013306","DOI":"10.1007\/978-3-642-32024-8_19"},{"key":"9_CR20","unstructured":"Martin, S.: The Dynamics of Sense and Implicature. Ph.D. thesis, Ohio State University (2013)"},{"key":"9_CR21","unstructured":"Martin, S.: Supplemental update (In preparation), unpublished manuscript"},{"issue":"4","key":"9_CR22","doi-asserted-by":"publisher","first-page":"729","DOI":"10.1007\/s11225-012-9427-6","volume":"100","author":"S. Martin","year":"2012","unstructured":"Martin, S., Pollard, C.: A higher-order theory of presupposition. Studia Logica\u00a0100(4), 729\u2013754 (2012)","journal-title":"Studia Logica"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Martin, S., Pollard, C.: Hyperintensional dynamic semantics: Analyzing definiteness with enriched contexts. In: de\u00a0Groote, Nederhof (eds.) [12], pp. 114\u2013129","DOI":"10.1007\/978-3-642-32024-8_8"},{"key":"9_CR24","first-page":"247","volume-title":"Formal Philosophy: Selected Papers of Richard Montague","author":"R. Montague","year":"1974","unstructured":"Montague, R.: The proper treatment of quantification in ordinary English. In: Thomason, R. (ed.) Formal Philosophy: Selected Papers of Richard Montague, pp. 247\u2013270. Yale University Press, New Haven (1974)"},{"issue":"2","key":"9_CR25","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/BF00635836","volume":"19","author":"R. Muskens","year":"1996","unstructured":"Muskens, R.: Combining Montague semantics and discourse representation theory. Linguistics and Philosophy\u00a019(2), 143\u2013186 (1996)","journal-title":"Linguistics and Philosophy"},{"issue":"3","key":"9_CR26","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/s11168-007-9035-1","volume":"5","author":"R. Muskens","year":"2007","unstructured":"Muskens, R.: Separating syntax and combinatorics in categorial grammar. Research on Language and Computation\u00a05(3), 267\u2013285 (2007)","journal-title":"Research on Language and Computation"},{"issue":"6","key":"9_CR27","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1007\/BF00985321","volume":"17","author":"R.T. Oehrle","year":"1994","unstructured":"Oehrle, R.T.: Term-labeled categorial type systems. Linguistics and Philosophy\u00a017(6), 633\u2013678 (1994)","journal-title":"Linguistics and Philosophy"},{"key":"9_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-3-642-31262-5_14","volume-title":"Logical Aspects of Computational Linguistics","author":"A. Plummer","year":"2012","unstructured":"Plummer, A., Pollard, C.: Agnostic possible worlds semantics. In: B\u00e9chet, D., Dikovsky, A. (eds.) LACL 2012. LNCS, vol.\u00a07351, pp. 201\u2013212. Springer, Heidelberg (2012)"},{"issue":"2","key":"9_CR29","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1093\/logcom\/exm003","volume":"18","author":"C. Pollard","year":"2008","unstructured":"Pollard, C.: Hyperintensions. Journal of Logic and Computation\u00a018(2), 257\u2013282 (2008)","journal-title":"Journal of Logic and Computation"},{"key":"9_CR30","unstructured":"Pollard, C.: Agnostic hyperintensional semantics. Synthese (in press)"},{"key":"9_CR31","unstructured":"Pollard, C., Yasavul, M.: Anaphoric clefts: the myth of exhaustivity (In preparation), to appear in Proceedings of CLS 2014 (2014)"},{"issue":"1","key":"9_CR32","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/BF00351813","volume":"4","author":"R. Thomason","year":"1980","unstructured":"Thomason, R.: A model theory for propositional attitudes. Linguistics and Philosophy\u00a04(1), 47\u201370 (1980)","journal-title":"Linguistics and Philosophy"}],"container-title":["Lecture Notes in Computer Science","Formal Grammar"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44121-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T03:48:37Z","timestamp":1558928917000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-44121-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662441206","9783662441213"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44121-3_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}