{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T00:28:35Z","timestamp":1676852915222},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2012,8,1]],"date-time":"2012-08-01T00:00:00Z","timestamp":1343779200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2012,8]]},"DOI":"10.1007\/s11225-012-9427-6","type":"journal-article","created":{"date-parts":[[2012,8,7]],"date-time":"2012-08-07T09:52:37Z","timestamp":1344333157000},"page":"727-751","source":"Crossref","is-referenced-by-count":2,"title":["A Higher-Order Theory of Presupposition"],"prefix":"10.1007","volume":"100","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","published-online":{"date-parts":[[2012,8,8]]},"reference":[{"key":"9427_CR1","doi-asserted-by":"crossref","first-page":"56","DOI":"10.2307\/2266170","volume":"5","author":"Alonzo Church","year":"1940","unstructured":"Church Alonzo: A formulation of the simple theory of types. Journal of Symbolic Logic 5, 56\u201368 (1940)","journal-title":"Journal of Symbolic Logic"},{"key":"9427_CR2","doi-asserted-by":"crossref","unstructured":"de Groote, Philippe, Towards abstract categorial grammars, in Association for Computational Linguistics, 39th Annual Meeting and 10th Conference of the European Chapter, Proceedings of the Conference, 2001.","DOI":"10.3115\/1073012.1073045"},{"key":"9427_CR3","doi-asserted-by":"crossref","unstructured":"de Groote, Philippe, Towards a Montagovian account of dynamics, in Proceedings of Semantics and Linguistic Theory 16, 2006.","DOI":"10.3765\/salt.v16i0.2952"},{"key":"9427_CR4","unstructured":"de Groote, Philippe, 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":"9427_CR5","unstructured":"Heim, Irene, The Semantics of Definite and Indefinite Noun Phrases, Ph.D. thesis, University of Massachusetts, Amherst, 1982."},{"key":"9427_CR6","doi-asserted-by":"crossref","unstructured":"Heim, Irene, File change semantics and the familiarity theory of definiteness, in Meaning, Use and the Interpretation of Language, Walter de Gruyter, Berlin, 1983.","DOI":"10.1515\/9783110852820.164"},{"key":"9427_CR7","unstructured":"Heim, Irene, On the projection problem for presuppositions, in M. Barlow, D. Flickinger, and M. Westcoat, (eds.), WCCFL2: Second Annual West Coast Conference on Formal Linguistics, Stanford University, Stanford, California, 1983."},{"key":"9427_CR8","doi-asserted-by":"crossref","first-page":"81","DOI":"10.2307\/2266967","volume":"15","author":"Leon Henkin","year":"1950","unstructured":"Henkin Leon: Completeness in the theory of types. Journal of Symbolic Logic 15, 81\u201391 (1950)","journal-title":"Journal of Symbolic Logic"},{"key":"9427_CR9","volume-title":"Formal Methods in the Study of Language","author":"Hans Kamp","year":"1981","unstructured":"Kamp Hans: 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":"9427_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-2066-1","volume-title":"From Discourse to Logic","author":"Hans Kamp","year":"1993","unstructured":"Kamp Hans, Reyle Uwe: From Discourse to Logic. Kluwer Academic Publishers, Dordrecht (1993)"},{"issue":"2","key":"9427_CR11","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/BF00984775","volume":"17","author":"Makoto Kanazawa","year":"1994","unstructured":"Kanazawa Makoto: Weak vs. strong readings of donkey sentences and monotonicity inference in a dynamic setting. Linguistics and Philosophy 17(2), 109\u2013158 (1994)","journal-title":"Linguistics and Philosophy"},{"issue":"2","key":"9427_CR12","first-page":"169","volume":"4","author":"Lauri Karttunen","year":"1973","unstructured":"Karttunen Lauri: Presuppositions of compound sentences. Linguistic Inquiry 4(2), 169\u2013193 (1973)","journal-title":"Linguistic Inquiry"},{"key":"9427_CR13","volume-title":"Introduction to Higher-Order Categorical Logic","author":"Joachim Lambek","year":"1986","unstructured":"Lambek Joachim, Scott Phil: Introduction to Higher-Order Categorical Logic. Cambridge University Press, Cambridge (1986)"},{"key":"9427_CR14","volume-title":"Semantics from a Different Point of View","author":"David Lewis","year":"1979","unstructured":"Lewis David: 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":"9427_CR15","doi-asserted-by":"crossref","unstructured":"Martin, Scott, and Carl Pollard, Hyperintensional dynamic semantics: Analyzing definiteness with enriched contexts, in Proceedings of the 15th Conference on Formal Grammar, in press. To appear in Springer Lecture Notes in Computer Science.","DOI":"10.1007\/978-3-642-32024-8_8"},{"key":"9427_CR16","doi-asserted-by":"crossref","unstructured":"Montague, Richard, The proper treatment of quantification in ordinary English, in K. Hintikka, J. Moravcsik, and P. Suppes, (eds.), Approaches to Natural Language, D. Reidel, Dordrecht, 1973.","DOI":"10.1007\/978-94-010-2506-5_10"},{"key":"9427_CR17","doi-asserted-by":"crossref","unstructured":"Muskens, Reinhard, Categorial grammar and discourse representation theory, in Proceedings of COLING, 1994.","DOI":"10.3115\/991886.991974"},{"key":"9427_CR18","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/BF00635836","volume":"19","author":"Reinhard Muskens","year":"1996","unstructured":"Muskens Reinhard: Combining Montague semantics and discourse representation. Linguistics and Philosophy 19, 143\u2013186 (1996)","journal-title":"Linguistics and Philosophy"},{"key":"9427_CR19","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1007\/s11168-007-9035-1","volume":"5","author":"Reinhard Muskens","year":"2007","unstructured":"Muskens Reinhard: Separating syntax and combinatorics in categorial grammar. Research on Language and Computation 5, 267\u2013285 (2007)","journal-title":"Research on Language and Computation"},{"key":"9427_CR20","unstructured":"Pollard, Carl, Hyperintensional questions, in Proceedings of the 15th Workshop on Logic, Language, Information, and Computation (WoLLIC \u201908), no. 5110 in Springer Lecture Notes in Artificial Intelligence, 2008, pp. 261\u2013274."},{"issue":"2","key":"9427_CR21","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1093\/logcom\/exm003","volume":"18","author":"Carl Pollard","year":"2008","unstructured":"Pollard Carl: Hyperintensions. Journal of Logic and Computation 18(2), 257\u2013282 (2008)","journal-title":"Journal of Logic and Computation"},{"key":"9427_CR22","doi-asserted-by":"crossref","unstructured":"Potts, Christopher, The Logic of Conventional Implicatures, Oxford University Press, 2005.","DOI":"10.1093\/acprof:oso\/9780199273829.001.0001"},{"key":"9427_CR23","unstructured":"Roberts, Craige, Information structure in discourse: Towards an integrated formal theory of pragmatics, in Papers in Semantics, no. 49 inWorking Papers in Linguistics, Ohio State University Department of Linguistics, 1996."},{"issue":"3","key":"9427_CR24","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1023\/A:1024157132393","volume":"26","author":"Craige Roberts","year":"2003","unstructured":"Roberts Craige: Uniqueness in definite noun phrases. Linguistics and Philosophy 26(3), 287\u2013350 (2003)","journal-title":"Linguistics and Philosophy"},{"key":"9427_CR25","unstructured":"Roberts, Craige, Pronouns as definites, in M. Reimer, and A. Bezuidenhout, (eds.), Descriptions and Beyond, Oxford University Press, 2004."},{"issue":"4","key":"9427_CR26","first-page":"447","volume":"2","author":"Robert Stalnaker","year":"1973","unstructured":"Stalnaker Robert: Presuppositions. Journal of Philosophical Logic 2(4), 447\u2013457 (1973)","journal-title":"Journal of Philosophical Logic"},{"key":"9427_CR27","first-page":"315","volume":"9","author":"Robert Stalnaker","year":"1978","unstructured":"Stalnaker Robert: Assertion, Pragmatics. Syntax and Semantics 9, 315\u2013332 (1978)","journal-title":"Syntax and Semantics"},{"key":"9427_CR28","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/BF00351813","volume":"4","author":"Richmond Thomason","year":"1980","unstructured":"Thomason Richmond: A model theory for propositional attitudes. Linguistics and Philosophy 4, 47\u201370 (1980)","journal-title":"Linguistics and Philosophy"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-012-9427-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-012-9427-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-012-9427-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,2]],"date-time":"2019-07-02T12:03:10Z","timestamp":1562068990000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-012-9427-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,8]]},"references-count":28,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,8]]}},"alternative-id":["9427"],"URL":"https:\/\/doi.org\/10.1007\/s11225-012-9427-6","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,8]]}}}