{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T21:37:18Z","timestamp":1742938638003,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":55,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662595329"},{"type":"electronic","value":"9783662595336"}],"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-59533-6_28","type":"book-chapter","created":{"date-parts":[[2019,6,22]],"date-time":"2019-06-22T23:02:35Z","timestamp":1561244555000},"page":"467-485","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Case for Property-Type Semantics"],"prefix":"10.1007","author":[{"given":"Kristina","family":"Liefke","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,6,9]]},"reference":[{"key":"28_CR1","doi-asserted-by":"publisher","first-page":"20","DOI":"10.3765\/salt.v14i0.2913","volume":"14","author":"Pranav Anand","year":"2004","unstructured":"Anand, P., Nevins, A.: Shifty operators in changing contexts. In: Young, R.B. (ed.) Proceedings of SALT, vol. XIV (2004)","journal-title":"Semantics and Linguistic Theory"},{"issue":"3","key":"28_CR2","doi-asserted-by":"publisher","first-page":"579","DOI":"10.2307\/416279","volume":"72","author":"S Bayer","year":"1996","unstructured":"Bayer, S.: The coordination of unlike categories. Language 72(3), 579\u2013616 (1996)","journal-title":"Language"},{"key":"28_CR3","first-page":"130","volume":"8","author":"H-N Casta\u00f1eda","year":"1966","unstructured":"Casta\u00f1eda, H.-N.: \u2018He\u2019: a study in the logic of self-consciousness. Ratio 8, 130\u2013157 (1966)","journal-title":"Ratio"},{"key":"28_CR4","first-page":"1","volume-title":"Semantics and Contextual Expression","author":"Gennaro Chierchia","year":"1989","unstructured":"Chierchia, G.: Anaphora and attitudes de se. In: Bartsch, R., van Benthem, J.F.A.K., van Emde Boas, P. (eds.) Semantics and Contextual Expression, pp. 1\u201311. Foris Publications, Dordrecht (1989)"},{"key":"28_CR5","unstructured":"Deal, A.R.: Property-type objects and modal embedding. In: Proceedings of Sinn und Bedeutung 12 (2008)"},{"key":"28_CR6","doi-asserted-by":"crossref","unstructured":"den Dikken, M., Larson, R., Ludlow, P.: Intensional transitive verbs and abstract clausal complementation. In: Grzankowski, A., Montague, M. (eds.) Non-Propositional Intentionality, pp. 46\u201394. Oxford University Press, Oxford (2018)","DOI":"10.1093\/oso\/9780198732570.003.0003"},{"key":"28_CR7","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1111\/j.1933-1592.2006.tb00492.x","volume":"72","author":"A Egan","year":"2006","unstructured":"Egan, A.: Secondary qualities and self-location. Philos. Phenomenol. Res. 72, 97\u2013119 (2006)","journal-title":"Philos. Phenomenol. Res."},{"key":"28_CR8","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511778377","volume-title":"Computational Semantics with Functional Programming","author":"J Eijck van","year":"2010","unstructured":"van Eijck, J., Unger, C.: Computational Semantics with Functional Programming. Cambridge University Press, Cambridge (2010)"},{"key":"28_CR9","unstructured":"von Fintel, K., Heim, I.: Intensional Semantics: Lecture Notes, MIT, Cambridge (2011)"},{"issue":"2","key":"28_CR10","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1023\/A:1005587504097","volume":"23","author":"G Forbes","year":"2000","unstructured":"Forbes, G.: Objectual attitudes. Linguist. Philos. 23(2), 141\u2013183 (2000)","journal-title":"Linguist. Philos."},{"key":"28_CR11","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199274949.001.0001","volume-title":"Attitude Problems: An Essay on Linguistic Intensionality","author":"G Forbes","year":"2006","unstructured":"Forbes, G.: Attitude Problems: An Essay on Linguistic Intensionality. Oxford University Press, Oxford (2006)"},{"key":"28_CR12","doi-asserted-by":"crossref","unstructured":"Forbes, G.: Content and Theme in Attitude Ascriptions. In: Grzankowski, A., Montague, M. (eds.) Non-Propositional Intentionality, pp. 114\u2013133. Oxford University Press, Oxford (2018)","DOI":"10.1093\/oso\/9780198732570.003.0005"},{"key":"28_CR13","doi-asserted-by":"publisher","first-page":"885","DOI":"10.1016\/j.lingua.2004.01.012","volume":"115","author":"V Geenhoven van","year":"2005","unstructured":"van Geenhoven, V., McNally, L.: On the property analysis of opaque complements. Lingua 115, 885\u2013914 (2005)","journal-title":"Lingua"},{"issue":"2","key":"28_CR14","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/s10849-013-9173-9","volume":"22","author":"P Groote de","year":"2013","unstructured":"de Groote, P., Kanazawa, M.: A note on intensionalization. J. Log. Lang. Inf. 22(2), 173\u2013194 (2013)","journal-title":"J. Log. Lang. Inf."},{"issue":"7\u20138","key":"28_CR15","doi-asserted-by":"publisher","first-page":"819","DOI":"10.1080\/0020174X.2016.1157034","volume":"57","author":"A Grzankowski","year":"2016","unstructured":"Grzankowski, A.: Limits of propositionalism. Inquiry 57(7\u20138), 819\u2013838 (2016)","journal-title":"Inquiry"},{"key":"28_CR16","doi-asserted-by":"crossref","unstructured":"Grzankowski, A.: A relational theory of non-propositional attitudes. In: Grzankowski, A., Montague, M. (eds.) Non-Propositional Intentionality, pp. 134\u2013151. Oxford University Press, Oxford (2018)","DOI":"10.1093\/oso\/9780198732570.003.0001"},{"key":"28_CR17","doi-asserted-by":"crossref","unstructured":"Grzankowski, A., Montague, M.: Non-propositional intentionality: an introduction. In: Grzankowski, A., Montague, M. (eds.) Non-Propositional Intentionality, pp. 1\u201318. Oxford University Press, Oxford (2018)","DOI":"10.1093\/oso\/9780198732570.003.0001"},{"key":"28_CR18","unstructured":"Haslinger, N.: Quantificational arguments of opaque verbs in German: disentangling monotonicity and context dependency. Master\u2019s thesis, University of Vienna (in progress)"},{"key":"28_CR19","volume-title":"Semantics in Generative Grammar, Blackwell Textbooks in Linguistics","author":"I Heim","year":"1998","unstructured":"Heim, I., Kratzer, A.: Semantics in Generative Grammar, Blackwell Textbooks in Linguistics, vol. 13. Blackwell, Malden (1998)"},{"issue":"19","key":"28_CR20","doi-asserted-by":"publisher","first-page":"716","DOI":"10.2307\/2024635","volume":"72","author":"D Kaplan","year":"1975","unstructured":"Kaplan, D.: How to Russell a Frege-Church. J. Philos. 72(19), 716\u2013729 (1975)","journal-title":"J. Philos."},{"key":"28_CR21","unstructured":"Kratzer, A.: Decomposing attitude verbs: handout from a talk in honor of Anita Mittwoch on her 80th birthday. Hebrew University, Jerusalem (2006)"},{"key":"28_CR22","unstructured":"Larson, R.: The grammar of intensionality. In: Preyer, G., Peter, G. (eds.) Logical Form and Language, pp. 228\u2013262. Oxford University Press, Oxford, (2002)"},{"issue":"4","key":"28_CR23","doi-asserted-by":"publisher","first-page":"513","DOI":"10.2307\/2184843","volume":"88","author":"D Lewis","year":"1979","unstructured":"Lewis, D.: Attitudes de dicto and de se. Philos. Rev. 88(4), 513\u2013543 (1979)","journal-title":"Philos. Rev."},{"key":"28_CR24","unstructured":"Liefke, K.: A single-type semantics for natural language. Dissertation, Tilburg Center for Logic and Philosophy of Science, Tilburg University (2014)"},{"key":"28_CR25","unstructured":"Liefke, K.: A \u2018situated\u2019 solution to Prior\u2019s substitution problem. In: Espinal, M.T., Castroviejo, E., Leonetti, M., McNally, L. (eds.) Proceedings of Sinn und Bedeutung, vol. 23. Semantics Archive (to appear)"},{"issue":"4","key":"28_CR26","first-page":"639","volume":"35","author":"K Liefke","year":"2018","unstructured":"Liefke, K., Werning, M.: Evidence for single-type semantics - an alternative to e\/t-based dual-type semantics. J. Semant. 35(4), 639\u2013685 (2018)","journal-title":"J. Semant."},{"key":"28_CR27","first-page":"73","volume":"9","author":"J McCawley","year":"1974","unstructured":"McCawley, J.: On identifying the remains of deceased clauses. Lang. Res. 9, 73\u201385 (1974)","journal-title":"Lang. Res."},{"issue":"1","key":"28_CR28","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1023\/A:1008245409172","volume":"5","author":"F Moltmann","year":"1997","unstructured":"Moltmann, F.: Intensional verbs and quantifiers. Nat. Lang. Semant. 5(1), 1\u201352 (1997)","journal-title":"Nat. Lang. Semant."},{"key":"28_CR29","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/s11050-008-9031-5","volume":"16","author":"F Moltmann","year":"2008","unstructured":"Moltmann, F.: Intensional verbs and their intentional objects. Nat. Lang. Semant. 16, 239\u2013270 (2008)","journal-title":"Nat. Lang. Semant."},{"key":"28_CR30","unstructured":"Montague, R.: English as a formal language. In: Thomason, R.H. (ed.) Formal Philosophy: Selected Papers of Richard Montague, pp. 188\u2013221. Yale University Press, New Haven (1976)"},{"key":"28_CR31","unstructured":"Montague, R.: The proper treatment of quantification in ordinary English. In: Thomason, R.H. (ed.) Formal Philosophy: Selected Papers of Richard Montague, pp. 247\u2013270. Yale University Press, New Haven (1976)"},{"issue":"3","key":"28_CR32","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":"28_CR33","series-title":"CSLI Lecture Notes","volume-title":"Meaning and Partiality","author":"R Muskens","year":"1995","unstructured":"Muskens, R.: Meaning and Partiality. CSLI Lecture Notes. CSLI Publications, Stanford (1995)"},{"issue":"1","key":"28_CR34","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1090\/S0002-9947-1959-0107600-8","volume":"92","author":"S Orey","year":"1959","unstructured":"Orey, S.: Model theory for the higher order predicate calculus. Trans. Am. Math. Soc. 92(1), 72\u201384 (1959)","journal-title":"Trans. Am. Math. Soc."},{"key":"28_CR35","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/978-94-017-0538-7_22","volume-title":"Structures and Norms in Science","author":"T Parsons","year":"1997","unstructured":"Parsons, T.: Meaning sensitivity and grammatical structure. In: Chiara, M.L., et al. (eds.) Structures and Norms in Science, pp. 369\u2013383. Kluwer Academic Publishers, Dordrecht (1997)"},{"key":"28_CR36","doi-asserted-by":"crossref","unstructured":"Partee, B.: Noun phrase interpretation and type-shifting principles. In: Groenendijk, J., de Jong, D., Stokhof, M. (eds.) Studies in Discourse Representation Theory and the Theory of Generalized Quantifiers, pp. 115\u2013143. Foris Publications, Dordrecht (1987)","DOI":"10.1515\/9783112420027-006"},{"key":"28_CR37","unstructured":"Percus, O., Sauerland, U.: On the LFs of attitude reports. In: Weisgerber, M. (ed.) Proceedings of Sinn und Bedeutung 7. Arbeitspapiere des FB Sprachwissenschaft, vol. 114. University of Konstanz, Konstanz (2003)"},{"issue":"1","key":"28_CR38","doi-asserted-by":"publisher","first-page":"3","DOI":"10.2307\/2214792","volume":"13","author":"J Perry","year":"1979","unstructured":"Perry, J.: The problem of the essential indexical. No\u00fbs 13(1), 3\u201321 (1979)","journal-title":"No\u00fbs"},{"issue":"5","key":"28_CR39","doi-asserted-by":"publisher","first-page":"177","DOI":"10.2307\/2022451","volume":"53","author":"WV Quine","year":"1956","unstructured":"Quine, W.V.: Quantifiers and propositional attitudes. J. Philos. 53(5), 177\u2013187 (1956)","journal-title":"J. Philos."},{"key":"28_CR40","unstructured":"Roberts, C.: Know-how: a compositional approach. In: Tor, E., Itor, E. (eds.) Theory and Evidence, pp. 1\u201331. CSLI, Stanford (2009)"},{"issue":"56","key":"28_CR41","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1093\/mind\/XIV.4.479","volume":"14","author":"B Russell","year":"1905","unstructured":"Russell, B.: On denoting. Mind 14(56), 479\u2013493 (1905)","journal-title":"Mind"},{"key":"28_CR42","doi-asserted-by":"crossref","unstructured":"S\u00e6b\u00f8, K.J.: Do you know what it means to miss New Orleans?: more on missing. In: Approaches to Meaning, pp. 105\u2013127. Brill (2014)","DOI":"10.1163\/9789004279377_006"},{"issue":"2","key":"28_CR43","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/BF00133839","volume":"3","author":"I Sag","year":"1985","unstructured":"Sag, I., Gazdar, G., Wasow, T., Weisler, S.: Coordination and how to distinguish categories. Nat. Lang. Linguist. Theory 3(2), 117\u2013171 (1985)","journal-title":"Nat. Lang. Linguist. Theory"},{"key":"28_CR44","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/BF01448013","volume":"92","author":"M Sch\u00f6nfinkel","year":"1924","unstructured":"Sch\u00f6nfinkel, M.: \u00dcber die Bausteine der mathematischen Logik. Math. Ann. 92, 305\u2013316 (1924)","journal-title":"Math. Ann."},{"key":"28_CR45","doi-asserted-by":"crossref","unstructured":"Schwarz, F.: On needing propositions and looking for properties. In: Gibson, M., Howell, J. (eds.) Proceedings of SALT, vol. XVI, pp. 259\u2013276. Cornell University, Ithaca, NY (2006)","DOI":"10.3765\/salt.v16i0.2946"},{"issue":"2","key":"28_CR46","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1111\/papq.12070","volume":"96","author":"N Sinhababu","year":"2015","unstructured":"Sinhababu, N.: Advantages of propositionalism. Pac. Philos. Q. 96(2), 165\u2013180 (2015)","journal-title":"Pac. Philos. Q."},{"key":"28_CR47","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199695362.001.0001","volume-title":"Know How","author":"J Stanley","year":"2011","unstructured":"Stanley, J.: Know How. Oxford University Press, Oxford (2011)"},{"issue":"4","key":"28_CR48","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1093\/jos\/ffq011","volume":"27","author":"T Stephenson","year":"2010","unstructured":"Stephenson, T.: Control in centred worlds. J. Semant. 27(4), 409\u2013436 (2010)","journal-title":"J. Semant."},{"issue":"220","key":"28_CR49","doi-asserted-by":"publisher","first-page":"462","DOI":"10.1111\/j.0031-8094.2005.00411.x","volume":"55","author":"ZG Szab\u00f3","year":"2005","unstructured":"Szab\u00f3, Z.G.: Sententialism and Berkeley\u2019s master argument. Philos. Q. 55(220), 462\u2013474 (2005)","journal-title":"Philos. Q."},{"key":"28_CR50","first-page":"59","volume":"14","author":"P Tich\u00fd","year":"1982","unstructured":"Tich\u00fd, P.: Foundations of partial type theory. Rep. Math. Log. 14, 59\u201372 (1982)","journal-title":"Rep. Math. Log."},{"key":"28_CR51","unstructured":"Yalcin, S.: Stanley on the de se. Handout from a talk at the Pacific APA (2012)"},{"issue":"2","key":"28_CR52","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/BF00372561","volume":"1","author":"TE Zimmermann","year":"1993","unstructured":"Zimmermann, T.E.: On the proper treatment of opacity in certain verbs. Nat. Lang. Semant. 1(2), 149\u2013179 (1993)","journal-title":"Nat. Lang. Semant."},{"issue":"6","key":"28_CR53","doi-asserted-by":"publisher","first-page":"715","DOI":"10.1007\/s10988-006-9009-z","volume":"29","author":"TE Zimmermann","year":"2006","unstructured":"Zimmermann, T.E.: Monotonicity in opaque verbs. Linguist. Philos. 29(6), 715\u2013761 (2006)","journal-title":"Linguist. Philos."},{"key":"28_CR54","unstructured":"Zimmermann, T.E.: What it takes to be missing. In: Hanneforth, T., Fanselow, G. (eds.) Language and Logos: Studies in Theoretical and Computational Linguistics, vol. 72, pp. 255\u2013265. Walter de Gruyter (2012)"},{"key":"28_CR55","doi-asserted-by":"crossref","unstructured":"Zimmermann, T.E.: Painting and opacity. In: Freitag, W., Rott, H., Sturm, H., Zinke, A. (eds.) Von Rang und Namen: Philosophical Essays in Honour of Wolfgang Spohn, pp. 427\u2013453. Mentis, M\u00fcnster (2016)","DOI":"10.30965\/9783957438775_023"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information, and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-59533-6_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,20]],"date-time":"2024-07-20T03:52:38Z","timestamp":1721447558000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-59533-6_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783662595329","9783662595336"],"references-count":55,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-59533-6_28","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":"9 June 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"WoLLIC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Logic, Language, Information, and Computation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Utrecht","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","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":"2 July 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 July 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"wollic2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/wollic2019.sites.uu.nl\/","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":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"60","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":"41","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":"6","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":"68% - 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":"2,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":"8","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)"}}]}}