{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T10:00:24Z","timestamp":1743156024619,"version":"3.40.3"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030587895"},{"type":"electronic","value":"9783030587901"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","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":[[2020]]},"DOI":"10.1007\/978-3-030-58790-1_11","type":"book-chapter","created":{"date-parts":[[2020,9,13]],"date-time":"2020-09-13T13:02:20Z","timestamp":1600002140000},"page":"164-181","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Variables vs. Parameters in the Interpretation of Natural Language"],"prefix":"10.1007","author":[{"given":"Jan","family":"K\u00f6pping","sequence":"first","affiliation":[]},{"given":"Thomas Ede","family":"Zimmermann","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,9,11]]},"reference":[{"key":"11_CR1","first-page":"121","volume-title":"Allgemeine Sprachwissenschaft, Sprachtypologie und Textlinguistik","author":"R B\u00e4uerle","year":"1983","unstructured":"B\u00e4uerle, R.: Pragmatisch-semantische Aspekte der NP-Interpretation. In: Faust, M., Harweg, R., Lehfeldt, W., Wienold, G. (eds.) Allgemeine Sprachwissenschaft, Sprachtypologie und Textlinguistik, pp. 121\u2013131. Narr, T\u00fcbingen (1983)"},{"key":"11_CR2","volume-title":"Meaning and Necessity","author":"R Carnap","year":"1947","unstructured":"Carnap, R.: Meaning and Necessity. University of Chicago Press, Chicago (1947)"},{"issue":"2","key":"11_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. J. Symb. Log. 5(2), 56\u201368 (1940)","journal-title":"J. Symb. Log."},{"key":"11_CR4","volume-title":"Combinatory Logic","author":"HB Curry","year":"1958","unstructured":"Curry, H.B., Feys, R.: Combinatory Logic, vol. I. North-Holland Publishing Company, Amsterdam (1958)"},{"key":"11_CR5","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/BF00568054","volume":"19","author":"D Davidson","year":"1968","unstructured":"Davidson, D.: On saying that. Synthese 19, 130\u2013146 (1968)","journal-title":"Synthese"},{"key":"11_CR6","volume-title":"Function und Begriff","author":"G Frege","year":"1891","unstructured":"Frege, G.: Function und Begriff. Pohle, Jena (1891)"},{"issue":"1","key":"11_CR7","first-page":"25","volume":"100","author":"G Frege","year":"1892","unstructured":"Frege, G.: \u00dcber Sinn und Bedeutung. Zeitschrift f\u00fcr Philosophie und philosophische Kritik NF 100(1), 25\u201350 (1892)","journal-title":"Zeitschrift f\u00fcr Philosophie und philosophische Kritik NF"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Friedman, J., Warren, D.S.: $$\\lambda $$-normal forms in an intensional logic for English. Studia Logica XXXIX(2\u20133), 311\u2013324 (1980)","DOI":"10.1007\/BF00370327"},{"key":"11_CR9","volume-title":"Intensional and Higher-order Modal Logic","author":"D Gallin","year":"1975","unstructured":"Gallin, D.: Intensional and Higher-order Modal Logic. North-Holland Pub. Company, Amsterdam (1975)"},{"issue":"2","key":"11_CR10","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/BF00351052","volume":"5","author":"J Groenendijk","year":"1982","unstructured":"Groenendijk, J., Stokhof, M.: Semantic analysis of WH-complements. Linguist. Philos. 5(2), 175\u2013233 (1982)","journal-title":"Linguist. Philos."},{"key":"11_CR11","volume-title":"Semantics in Generative Grammar","author":"I Heim","year":"1998","unstructured":"Heim, I., Kratzer, A.: Semantics in Generative Grammar. Blackwell Publishers Ltd., Oxford (1998)"},{"issue":"3","key":"11_CR12","doi-asserted-by":"publisher","first-page":"323","DOI":"10.4064\/fm-52-3-323-344","volume":"52","author":"L Henkin","year":"1963","unstructured":"Henkin, L.: A theory of propositional types. Fundamenta Mathematicae 52(3), 323\u2013334 (1963)","journal-title":"Fundamenta Mathematicae"},{"key":"11_CR13","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1111\/j.1755-2567.1971.tb00071.x","volume":"37","author":"H Kamp","year":"1971","unstructured":"Kamp, H.: Formal properties of \u201cnow\u201d. Theoria 37, 227\u2013273 (1971)","journal-title":"Theoria"},{"key":"11_CR14","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/BF00258420","volume":"8","author":"D Kaplan","year":"1979","unstructured":"Kaplan, D.: On the logic of demonstratives. J. Philos. Log. 8, 81\u201398 (1979)","journal-title":"J. Philos. Log."},{"key":"11_CR15","first-page":"481","volume-title":"Themes from Kaplan","author":"D Kaplan","year":"1989","unstructured":"Kaplan, D.: Demonstratives. An essay on the semantics, logic, metaphysics and epistemology of demonstratives and other indexicals. In: Almog, J., Perry, J., Wettstein, H. (eds.) Themes from Kaplan, pp. 481\u2013563. Oxford University Press, Oxford (1989)"},{"key":"11_CR16","unstructured":"K\u00f6pping, J., Zimmermann, T.E.: Looking backwards in type logic. Inquiry (forthcoming)"},{"key":"11_CR17","first-page":"83","volume":"16","author":"SA Kripke","year":"1963","unstructured":"Kripke, S.A.: Semantical considerations on modal logic. Acta Philosophica Fennica 16, 83\u201394 (1963)","journal-title":"Acta Philosophica Fennica"},{"key":"11_CR18","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-94-009-9012-8_6","volume-title":"Philosophy and Grammar","author":"DK Lewis","year":"1980","unstructured":"Lewis, D.K.: Index, context, and content. In: Kanger, S., \u00d6hman, S. (eds.) Philosophy and Grammar, pp. 79\u2013100. Reidel, Dordrecht (1980)"},{"key":"11_CR19","unstructured":"Montague, R.: Pragmatics. In: Klibansky, R. (ed.) Contemporary Philosophy. Volume I: Logic and the Foundations of Mathematics, pp. 102\u2013122. La Nuova Italia Editrice, Florence (1968)"},{"issue":"3","key":"11_CR20","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1111\/j.1755-2567.1970.tb00434.x","volume":"36","author":"R Montague","year":"1970","unstructured":"Montague, R.: Universal Grammar. Theoria 36(3), 373\u2013398 (1970)","journal-title":"Theoria"},{"key":"11_CR21","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/978-94-010-2506-5_10","volume-title":"Approaches to Natural Language","author":"R Montague","year":"1973","unstructured":"Montague, R.: The proper treatment of quantification in ordinary English. In: Hintikka, J., Moravcsik, J., Suppes, P. (eds.) Approaches to Natural Language, pp. 221\u2013242. Reidel, Dordrecht (1973)"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Parsons, T.: Frege\u2019s hierarchies of indirect senses and the paradox of analysis. In: French, P., Uehling, T., Wettstein, H. (eds.) Midwest Studies in Philosophy VI: The Foundations of Analytic Philosophy, pp. 37\u201357. University of Minnesota Press, Minneapolis (1981)","DOI":"10.1111\/j.1475-4975.1981.tb00427.x"},{"issue":"1","key":"11_CR23","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1023\/A:1011298526791","volume":"9","author":"O Percus","year":"2000","unstructured":"Percus, O.: Constraints on some other variables in syntax. Nat. Lang. Semant. 9(1), 173\u2013229 (2000)","journal-title":"Nat. Lang. Semant."},{"key":"11_CR24","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/978-94-009-9825-4_18","volume-title":"Essays on Mathematical and Philosophical Logic","author":"E Saarinen","year":"1979","unstructured":"Saarinen, E.: Backwards-looking operators in tense logic and in natural language. In: Hintikka, J., Niiniluoto, I., Saarinen, E. (eds.) Essays on Mathematical and Philosophical Logic, pp. 341\u2013367. Reidel, Dordrecht (1979)"},{"key":"11_CR25","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/978-94-010-3272-8_7","volume-title":"Philosophical Problems in Logic","author":"D Scott","year":"1970","unstructured":"Scott, D.: Advice on modal logic. In: Lambert, K. (ed.) Philosophical Problems in Logic, pp. 143\u2013173. Reidel, Dordrecht (1970)"},{"key":"11_CR26","first-page":"41","volume-title":"Studies in Logical Theory","author":"R Stalnaker","year":"1968","unstructured":"Stalnaker, R.: A theory of conditionals. In: Rescher, N. (ed.) Studies in Logical Theory, pp. 41\u201355. Blackwell, Oxford (1968)"},{"key":"11_CR27","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/BF00413506","volume":"89","author":"R Stalnaker","year":"1991","unstructured":"Stalnaker, R.: The problem of logical omniscience, I. Synthese 89, 425\u2013440 (1991)","journal-title":"Synthese"},{"key":"11_CR28","doi-asserted-by":"crossref","unstructured":"Stalnaker, R.: The problem of logical omniscience, II. In: Context and Content, pp. 255\u2013273. Oxford University Press, Oxford (1999)","DOI":"10.1093\/0198237073.003.0015"},{"issue":"1","key":"11_CR29","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/s10849-014-9210-3","volume":"24","author":"I Yanovich","year":"2015","unstructured":"Yanovich, I.: Expressive power of \u201cnow\u201d and \u201cthen\u201d operators. J. Log. Lang. Inf. 24(1), 65\u201393 (2015)","journal-title":"J. Log. Lang. Inf."},{"issue":"1","key":"11_CR30","doi-asserted-by":"publisher","first-page":"65","DOI":"10.2307\/2275016","volume":"54","author":"TE Zimmermann","year":"1989","unstructured":"Zimmermann, T.E.: Intensional logic and two-sorted type theory. J. Symb. Log. 54(1), 65\u201377 (1989)","journal-title":"J. Symb. Log."},{"key":"11_CR31","doi-asserted-by":"crossref","first-page":"276","DOI":"10.1093\/oso\/9780198739548.003.0010","volume-title":"The Science of Meaning","author":"TE Zimmermann","year":"2018","unstructured":"Zimmermann, T.E.: Fregean compositionality. In: Ball, D., Rabern, B. (eds.) The Science of Meaning, pp. 276\u2013305. Oxford University Press, Oxford (2018)"},{"key":"11_CR32","unstructured":"Zimmermann, T.E.: Representing intensionality: variables vs. parameters. In: Gutzmann, D., Matthewson, L., Meier, C., Rullmann, H., Zimmermann, T.E. (eds.) The Wiley Blackwell Companion to Semantics. Oxford, Wiley (forthcoming)"}],"container-title":["Lecture Notes in Computer Science","New Frontiers in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-58790-1_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,7]],"date-time":"2023-10-07T07:48:14Z","timestamp":1696664894000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-58790-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030587895","9783030587901"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-58790-1_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"11 September 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"JSAI-isAI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"JSAI International Symposium on Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Yokohama","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Japan","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 November 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 November 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"jsai2019a","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.ai-gakkai.or.jp\/isai\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easy Chair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"46","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":"26","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":"57% - 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":"4","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":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}