{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,14]],"date-time":"2026-01-14T00:29:20Z","timestamp":1768350560358,"version":"3.49.0"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2014,12,3]],"date-time":"2014-12-03T00:00:00Z","timestamp":1417564800000},"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":["Synthese"],"published-print":{"date-parts":[[2015,3]]},"DOI":"10.1007\/s11229-014-0578-z","type":"journal-article","created":{"date-parts":[[2014,12,2]],"date-time":"2014-12-02T18:40:34Z","timestamp":1417545634000},"page":"635-677","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":16,"title":["Transparent quantification into hyperintensional objectual attitudes"],"prefix":"10.1007","volume":"192","author":[{"given":"Marie","family":"Du\u017e\u00ed","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bj\u00f8rn","family":"Jespersen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,12,3]]},"reference":[{"key":"578_CR1","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198244288.001.0001","volume-title":"Quality and concept","author":"G Bealer","year":"1982","unstructured":"Bealer, G. (1982). Quality and concept. Oxford: Clarendon Press."},{"key":"578_CR2","unstructured":"Brown, J. R. (1999). Philosophy of mathematics. London: Routledge."},{"key":"578_CR3","volume-title":"Meaning and necessity","author":"R Carnap","year":"1947","unstructured":"Carnap, R. (1947). Meaning and necessity. Chicago: Chicago University Press."},{"key":"578_CR4","doi-asserted-by":"crossref","unstructured":"Chang, S., & Felleisen, M. (2012). The call-by-need lambda calculus, revisited. In Programming languages and systems. Lecture Notes in Computer Science (Vol. 7211, pp. 128\u2013147).","DOI":"10.1007\/978-3-642-28869-2_7"},{"key":"578_CR5","doi-asserted-by":"crossref","unstructured":"Church, A. (1951). The need for abstract entities. American Academy of Arts and Sciences Proceedings, 80, 100\u2013113.","DOI":"10.2307\/20023640"},{"key":"578_CR6","volume-title":"Introduction to mathematical logic","author":"A Church","year":"1956","unstructured":"Church, A. (1956). Introduction to mathematical logic. Princeton: Princeton University Press."},{"key":"578_CR7","doi-asserted-by":"crossref","first-page":"141","DOI":"10.2307\/2215752","volume":"27","author":"A Church","year":"1993","unstructured":"Church, A. (1993). A revised formulation of the logic of sense and denotation. Alternative (1). No\u00fbs, 27, 141\u2013157.","journal-title":"No\u00fbs"},{"key":"578_CR8","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/s11229-006-9080-6","volume":"160","author":"S Crawford","year":"2008","unstructured":"Crawford, S. (2008). Quantifiers and propositional attitudes: Quine revisited. Synthese, 160, 75\u201396.","journal-title":"Synthese"},{"key":"578_CR9","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/s11098-013-0126-6","volume":"168","author":"S Crawford","year":"2014","unstructured":"Crawford, S. (2014). Propositional or non-propositional attitudes? Philosophical Studies, 168, 179\u2013210.","journal-title":"Philosophical Studies"},{"issue":"5","key":"578_CR10","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1007\/s10992-010-9127-5","volume":"39","author":"M Du\u017e\u00ed","year":"2010","unstructured":"Du\u017e\u00ed, M. (2010). The paradox of inference and the non-triviality of analytic information. Journal of Philosophical Logic, 39(5), 473\u2013510.","journal-title":"Journal of Philosophical Logic"},{"issue":"2","key":"578_CR11","first-page":"198","volume":"21","author":"M Du\u017e\u00ed","year":"2014","unstructured":"Du\u017e\u00ed, M. (2014a). Communication in a multi-cultural world. Organon F, 21(2), 198\u2013218.","journal-title":"Organon F"},{"issue":"3","key":"578_CR12","first-page":"439","volume":"18","author":"M Du\u017e\u00ed","year":"2014","unstructured":"Du\u017e\u00ed, M. (2014b). Structural isomorphism of meaning and synonymy. Computaci\u00f3n y Sistemas, Mexico, 18(3), 439\u2013453.","journal-title":"Computaci\u00f3n y Sistemas, Mexico"},{"key":"578_CR13","unstructured":"Du\u017e\u00ed, M., & Jespersen, B. (2012). Transparent quantification into hyperpropositional contexts de re. Logique & Analyse, 220, 513\u2013554."},{"key":"578_CR14","doi-asserted-by":"crossref","unstructured":"Du\u017e\u00ed, M., & Jespersen, B. (2013). Procedural isomorphism, analytic information, and $$\\beta $$ \u03b2 -conversion by value. Logic Journal of the IGPL, 21, 291\u2013308.","DOI":"10.1093\/jigpal\/jzs044"},{"key":"578_CR15","doi-asserted-by":"crossref","unstructured":"Du\u017e\u00ed, M., Jespersen, B., & Materna, P. (2010). Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic. Berlin: Springer.","DOI":"10.1007\/978-90-481-8812-3"},{"key":"578_CR16","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1023\/A:1005587504097","volume":"23","author":"G Forbes","year":"2000","unstructured":"Forbes, G. (2000). Objectual attitudes. Linguistics and Philosophy, 23, 141\u2013183.","journal-title":"Linguistics and Philosophy"},{"key":"578_CR17","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1111\/j.1749-818X.2009.00181.x","volume":"4","author":"B Jespersen","year":"2010","unstructured":"Jespersen, B. (2010). How hyper are hyperpropositions? Language and Linguistics Compass, 4, 96\u2013106.","journal-title":"Language and Linguistics Compass"},{"key":"578_CR18","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1111\/j.1747-9991.2012.00509.x","volume":"7","author":"B Jespersen","year":"2012","unstructured":"Jespersen, B. (2012). Recent work on structured meaning and propositional unity. Philosophy Compass, 7, 620\u201330.","journal-title":"Philosophy Compass"},{"key":"578_CR19","doi-asserted-by":"crossref","unstructured":"Jespersen, B. (2014). Structured lexical concepts, property modifiers, and transparent intensional logic. Philosophical Studies (forthcoming). doi: 10.1007\/s11098-014-0305-0 .","DOI":"10.1007\/s11098-014-0305-0"},{"key":"578_CR20","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1007\/BF00568057","volume":"19","author":"D Kaplan","year":"1968","unstructured":"Kaplan, D. (1968). Quantifying in. Synthese, 19, 178\u2013214.","journal-title":"Synthese"},{"key":"578_CR21","unstructured":"Kaplan, D. (1986). Opacity. In L. Hahn (Ed.), W. V. Quine (pp. 229\u2013289). La Salle: Open Court."},{"key":"578_CR22","volume-title":"Syntax and semantics","author":"D Kaplan","year":"1990","unstructured":"Kaplan, D. (1990). Dthat. In P. Cole (Ed.), Syntax and semantics (Vol. 9). New York: Academic Press."},{"key":"578_CR23","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1023\/A:1005032311459","volume":"59","author":"P Materna","year":"1997","unstructured":"Materna, P. (1997). Rules of existential quantification into \u2018intensional contexts\u2019. Studia Logica, 59, 331\u2013343.","journal-title":"Studia Logica"},{"key":"578_CR24","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1111\/j.1468-0068.2007.00657.x","volume":"42","author":"M Montague","year":"2007","unstructured":"Montague, M. (2007). Against propositionalism. No\u00fbs, 42, 503\u2013518.","journal-title":"No\u00fbs"},{"key":"578_CR25","volume-title":"Descriptions","author":"S Neale","year":"1990","unstructured":"Neale, S. (1990). Descriptions. Cambridge: MIT Press."},{"key":"578_CR26","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0304-3975(75)90017-1","volume":"1","author":"GD Plotkin","year":"1975","unstructured":"Plotkin, G. D. (1975). Call-by-name, call-by-value, and the lambda calculus. Theoretical Computer Science, 1, 125\u2013159.","journal-title":"Theoretical Computer Science"},{"key":"578_CR27","doi-asserted-by":"crossref","first-page":"177","DOI":"10.2307\/2022451","volume":"53","author":"WV Quine","year":"1956","unstructured":"Quine, W. V. (1956). Quantifiers and propositional attitudes. Journal of Philosophy, 53, 177\u2013187.","journal-title":"Journal of Philosophy"},{"key":"578_CR28","volume-title":"Word and object","author":"WV Quine","year":"1960","unstructured":"Quine, W. V. (1960). Word and object. Harvard: MIT Press."},{"key":"578_CR29","first-page":"120","volume":"54","author":"J Raclavsk\u00fd","year":"2010","unstructured":"Raclavsk\u00fd, J. (2010). On partiality and Tich\u00fd\u2019s transparent intensional logic. Hungarian Philosophical Review, 54, 120\u2013128.","journal-title":"Hungarian Philosophical Review"},{"key":"578_CR30","doi-asserted-by":"crossref","unstructured":"Soames, S. (2010). What is meaning? Princeton: Princeton University Press.","DOI":"10.1515\/9781400833948"},{"key":"578_CR31","doi-asserted-by":"crossref","first-page":"403","DOI":"10.2307\/2025409","volume":"76","author":"P Tich\u00fd","year":"1979","unstructured":"Tich\u00fd, P. (1979). Existence and God. Journal of Philosophy, 76, 403\u2013420.","journal-title":"Journal of Philosophy"},{"key":"578_CR32","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/BF00375897","volume":"45","author":"P Tich\u00fd","year":"1986","unstructured":"Tich\u00fd, P. (1986). The indiscernibility of identicals. Studia Logica, 45, 251\u2013273.","journal-title":"Studia Logica"},{"key":"578_CR33","doi-asserted-by":"crossref","unstructured":"Tich\u00fd, P. (1988). The foundations of Frege\u2019s logic. Berlin: de Gruyter.","DOI":"10.1515\/9783110849264"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-014-0578-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-014-0578-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-014-0578-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T10:37:00Z","timestamp":1559385420000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-014-0578-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12,3]]},"references-count":33,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2015,3]]}},"alternative-id":["578"],"URL":"https:\/\/doi.org\/10.1007\/s11229-014-0578-z","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,12,3]]}}}