{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T23:41:28Z","timestamp":1725579688537},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642320231"},{"type":"electronic","value":"9783642320248"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32024-8_8","type":"book-chapter","created":{"date-parts":[[2012,7,14]],"date-time":"2012-07-14T07:58:00Z","timestamp":1342252680000},"page":"114-129","source":"Crossref","is-referenced-by-count":4,"title":["Hyperintensional Dynamic Semantics"],"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":"8_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. Journal of Symbolic Logic\u00a05, 56\u201368 (1940)","journal-title":"Journal of Symbolic Logic"},{"key":"8_CR2","volume-title":"Intensional and Higher Order Modal Logic","author":"D. Gallin","year":"1975","unstructured":"Gallin, D.: Intensional and Higher Order Modal Logic. North-Holland, Amsterdam (1975)"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"de\u00a0Groote, P.: Towards abstract categorial grammars. In: 39th Annual Meeting and 10th Conference of the European Chapter, Proceedings of the Conference on Association for Computational Linguistics (2001)","DOI":"10.3115\/1073012.1073045"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"de Groote, P.: Towards a Montagovian account of dynamics. In: Proceedings of Semantics and Linguistic Theory, vol.\u00a016 (2006)","DOI":"10.3765\/salt.v16i0.2952"},{"key":"8_CR5","unstructured":"de Groote, P.: Typing binding and anaphora: Dynamic contexts as \u03bb\u03bc-terms. Presented at the ESSLLI Workshop on Symmetric Calculi and Ludics for Semantic Interpretation (2008)"},{"key":"8_CR6","unstructured":"Heim, I.: The Semantics of Definite and Indefinite Noun Phrases. Ph.D. thesis. University of Massachusetts, Amherst (1982)"},{"key":"8_CR7","volume-title":"Meaning, Use and the Interpretation of Language","author":"I. Heim","year":"1983","unstructured":"Heim, I.: File change semantics and the familiarity theory of definiteness. In: Meaning, Use and the Interpretation of Language. Walter de Gruyter, Berlin (1983)"},{"key":"8_CR8","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, 81\u201391 (1950)","journal-title":"Journal of Symbolic Logic"},{"key":"8_CR9","volume-title":"Formal Methods in the Study of Language","author":"H. Kamp","year":"1981","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. Mathematisch Centrum, Amsterdam (1981)"},{"key":"8_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-2066-1","volume-title":"From Discourse to Logic","author":"H. Kamp","year":"1993","unstructured":"Kamp, H., Reyle, U.: From Discourse to Logic. Kluwer Academic Publishers, Dordrecht (1993)"},{"key":"8_CR11","volume-title":"Introduction to Higher-Order Categorical Logic","author":"J. Lambek","year":"1986","unstructured":"Lambek, J., Scott, P.: Introduction to Higher-Order Categorical Logic. Cambridge University Press, Cambridge (1986)"},{"key":"8_CR12","volume-title":"Semantics from a Different Point of View","author":"D. Lewis","year":"1979","unstructured":"Lewis, D.: Scorekeeping in a language game. In: Ba\u00fcerle, R., Egli, U., von Stechow, A. (eds.) Semantics from a Different Point of View. Springer, Berlin (1979)"},{"key":"8_CR13","volume-title":"Approaches to Natural Language","author":"R. Montague","year":"1973","unstructured":"Montague, R.: The proper treatment of quantification in ordinary English. In: Hintikka, K., Moravcsik, J., Suppes, P. (eds.) Approaches to Natural Language, D. Reidel, Dordrecht (1973)"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Muskens, R.: Categorial grammar and discourse representation theory. In: Proceedings of COLING (1994)","DOI":"10.3115\/991886.991974"},{"key":"8_CR15","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, 143\u2013186 (1996)","journal-title":"Linguistics and Philosophy"},{"key":"8_CR16","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, 267\u2013285 (2007)","journal-title":"Research on Language and Computation"},{"issue":"6","key":"8_CR17","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":"8_CR18","series-title":"Lecture Notes in Artificial Intelligence","first-page":"272","volume-title":"WoLLic 2008","author":"C. Pollard","year":"2008","unstructured":"Pollard, C.: Hyperintensional Questions. In: Hodges, W., de Queiroz, R. (eds.) WoLLic 2008. LNCS (LNAI), vol.\u00a05110, pp. 272\u2013285. Springer, Heidelberg (2008)"},{"issue":"2","key":"8_CR19","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":"8_CR20","volume-title":"Papers in Semantics. Working Papers in Linguistics","author":"C. Roberts","year":"1996","unstructured":"Roberts, C.: Information structure in discourse: Towards an integrated formal theory of pragmatics. In: Papers in Semantics. Working Papers in Linguistics, vol.\u00a049, Ohio State University, Department of Linguistics (1996)"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Roberts, C.: Pronouns as definites. In: Reimer, M., Bezuidenhout, A. (eds.) Descriptions and Beyond, pp. 503\u2013543. Oxford University Press (2004)","DOI":"10.1093\/oso\/9780199270514.003.0016"},{"key":"8_CR22","unstructured":"Roberts, C., Simons, M., Beaver, D., Tonhauser, J.: Presupposition, conventional implicature, and beyond: A unified account of projection. In: Klinedinst, N., Rothschild, D. (eds.) Proceedings of New Directions in the Theory of Presupposition. ESSLLI workshop (2009)"},{"key":"8_CR23","volume-title":"Generalized Quantifiers","author":"M. Rooth","year":"1987","unstructured":"Rooth, M.: NP interpretation in Montague grammar, file change semantics, and situation semantics. In: G\u00e4rdenfors, P. (ed.) Generalized Quantifiers. Reidel, Dordrecht (1987)"},{"key":"8_CR24","unstructured":"Smith, E.A.: Correlational Comparison in English. Ph.D. thesis. Ohio State University (2010)"},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"Stalnaker, R.: Presuppositions. Journal of Philosophical Logic\u00a02(4) (1973)","DOI":"10.1007\/BF00262951"},{"key":"8_CR26","doi-asserted-by":"crossref","unstructured":"Stalnaker, R.: Assertion. Syntax and Semantics 9: Pragmatics, 315\u2013332 (1978)","DOI":"10.1163\/9789004368873_013"},{"key":"8_CR27","unstructured":"Strachey, C., Wadsworth, C.P.: Continuations: A mathematical semantics for handling full jumps. Programming Research Group Technical Monograph PRG-11, Oxford University Computing Lab (1974)"},{"key":"8_CR28","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, 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-642-32024-8_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,26]],"date-time":"2024-04-26T21:06:36Z","timestamp":1714165596000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32024-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642320231","9783642320248"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32024-8_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}