{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:00:24Z","timestamp":1725566424638},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642314810"},{"type":"electronic","value":"9783642314827"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31482-7_45","type":"book-chapter","created":{"date-parts":[[2012,6,23]],"date-time":"2012-06-23T09:04:29Z","timestamp":1340442269000},"page":"441-449","source":"Crossref","is-referenced-by-count":0,"title":["A Theory of Names and True Intensionality"],"prefix":"10.1007","author":[{"given":"Reinhard","family":"Muskens","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"45_CR1","doi-asserted-by":"crossref","unstructured":"Benzm\u00fcller, C., Brown, C.E., Kohlhase, M.: Higher Order Semantics and Extensionality. Journal of Symbolic Logic\u00a069 (2004)","DOI":"10.2178\/jsl\/1102022211"},{"key":"45_CR2","doi-asserted-by":"publisher","first-page":"425","DOI":"10.2307\/2025107","volume":"70","author":"T. Burge","year":"1973","unstructured":"Burge, T.: Reference and Proper Names. Journal of Philosophy\u00a070, 425\u2013439 (1973)","journal-title":"Journal of Philosophy"},{"key":"45_CR3","unstructured":"Graff Fara, D.: Names as Predicates (2011) (unpublished manuscript)"},{"key":"45_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-0411-4","volume-title":"Types, Tableaus, and G\u00f6dels God","author":"M. Fitting","year":"2002","unstructured":"Fitting, M.: Types, Tableaus, and G\u00f6dels God. Kluwer Academic Publishers, Dordrecht (2002)"},{"key":"45_CR5","series-title":"F\u00fcnf Logische Studien","volume-title":"Funktion, Begriff, Bedeutung","author":"G. Frege","year":"1892","unstructured":"Frege, G.: \u00dcber Sinn und Bedeutung. In: Patzig, G. (ed.) Funktion, Begriff, Bedeutung. F\u00fcnf Logische Studien. Vanden Hoeck, G\u00f6ttingen (1892)"},{"key":"45_CR6","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":"45_CR7","unstructured":"Kripke, S.: Identity and Necessity. In: Munitz, M. (ed.) Identity and Individuation, pp. 135\u2013164. New York University Press (1971)"},{"key":"45_CR8","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/978-94-010-2557-7_9","volume-title":"Semantics of Natural Language","author":"S. Kripke","year":"1972","unstructured":"Kripke, S.: Naming and Necessity. In: Davidson, D., Harman, G. (eds.) Semantics of Natural Language, pp. 253\u2013355. Reidel, Dordrecht (1972)"},{"key":"45_CR9","first-page":"285","volume-title":"Empirical Issues in Formal Syntax and Semantics","author":"O. Matushansky","year":"2006","unstructured":"Matushansky, O.: Why Rose is the Rose: On the use of definite articles in proper names. In: Bonami, O., Cabredo Hofherr, P. (eds.) Empirical Issues in Formal Syntax and Semantics, vol.\u00a06, pp. 285\u2013307. CSSP, Paris (2006)"},{"issue":"1","key":"45_CR10","doi-asserted-by":"publisher","first-page":"98","DOI":"10.2178\/jsl\/1174668386","volume":"72","author":"R.A. Muskens","year":"2007","unstructured":"Muskens, R.A.: Intensional Models for the Theory of Types. Journal of Symbolic Logic\u00a072(1), 98\u2013118 (2007)","journal-title":"Journal of Symbolic Logic"},{"key":"45_CR11","volume-title":"Meaning and Partiality","author":"R.A. Muskens","year":"1995","unstructured":"Muskens, R.A.: Meaning and Partiality. CSLI, Stanford (1995)"},{"key":"45_CR12","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1515\/9783112420027-006","volume-title":"Studies in Discourse Representation and the Theory of Generalized Quantifiers","author":"B. Partee","year":"1986","unstructured":"Partee, B.: Noun Phrase Interpretation and Type Shifting Principles. In: Groenendijk, J., de Jongh, D., Stokhof, M. (eds.) Studies in Discourse Representation and the Theory of Generalized Quantifiers, pp. 115\u2013143. Foris, Dordrecht (1986)"},{"key":"45_CR13","volume-title":"From a Logical Point of View","author":"W.V.O. Quine","year":"1953","unstructured":"Quine, W.V.O.: From a Logical Point of View. Harper and Row, New York (1953)"},{"key":"45_CR14","first-page":"21","volume":"2","author":"W.V.O. Quine","year":"1948","unstructured":"Quine, W.V.O.: On What There Is. Review of Metaphysics\u00a02, 21\u201328 (1948); Reprinted in Quine (1953)","journal-title":"Review of Metaphysics"},{"key":"45_CR15","unstructured":"Quine, W.V.O.: Word and Object. MIT Press (1960)"},{"issue":"56","key":"45_CR16","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\u00a014(56), 479\u2013493 (1905)","journal-title":"Mind"},{"key":"45_CR17","unstructured":"Whitehead, A.N., Russell, B.: Principia Mathematica. Cambridge University Press (1913)"}],"container-title":["Lecture Notes in Computer Science","Logic, Language and Meaning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31482-7_45.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,19]],"date-time":"2022-01-19T11:34:57Z","timestamp":1642592097000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31482-7_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642314810","9783642314827"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31482-7_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}