{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T08:02:42Z","timestamp":1768896162358,"version":"3.49.0"},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2013,12,19]],"date-time":"2013-12-19T00:00:00Z","timestamp":1387411200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2015,3]]},"DOI":"10.1007\/s11229-013-0373-2","type":"journal-article","created":{"date-parts":[[2013,12,18]],"date-time":"2013-12-18T15:04:31Z","timestamp":1387379071000},"page":"535-562","source":"Crossref","is-referenced-by-count":13,"title":["Agnostic hyperintensional semantics"],"prefix":"10.1007","volume":"192","author":[{"given":"Carl","family":"Pollard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,12,19]]},"reference":[{"key":"373_CR1","doi-asserted-by":"crossref","unstructured":"Bolzano, B. (1972). Theory of science. Translation of Wissenschaftslehre, 1837, edited and translated by R. George. Berkeley and Los Angeles, CA: University of California Press.","DOI":"10.1525\/9780520326347"},{"key":"373_CR2","doi-asserted-by":"crossref","unstructured":"Bolzano, B. (1973). Theory of science. Translation of Wissenschaftslehre, 1837, edited by J. Berg and translated by B. Terrell. Dordrecht: D. Reidel.","DOI":"10.1007\/978-94-010-2513-3"},{"key":"373_CR3","volume-title":"Meaning and necessity","author":"R Carnap","year":"1947","unstructured":"Carnap, R. (1947). Meaning and necessity. Chicago: University of Chicago Press."},{"key":"373_CR4","doi-asserted-by":"crossref","first-page":"56","DOI":"10.2307\/2266170","volume":"5","author":"A Church","year":"1940","unstructured":"Church, A. (1940). A formulation of the simple theory of types. Journal of Symbolic Logic, 5, 56\u201368.","journal-title":"Journal of Symbolic Logic"},{"key":"373_CR5","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/BF02314421","volume":"34","author":"M Cresswell","year":"1975","unstructured":"Cresswell, M. (1975). Hyperintensional logic. Studia Logica, 34, 25\u201338.","journal-title":"Studia Logica"},{"key":"373_CR6","volume-title":"Structured meanings","author":"M Cresswell","year":"1985","unstructured":"Cresswell, M. (1985). Structured meanings. Cambridge, MA: MIT Press."},{"key":"373_CR7","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1090\/psapm\/012\/9981","volume-title":"Structure of language in its mathematicalaspects","author":"H Curry","year":"1961","unstructured":"Curry, H. (1961). Some logical aspects of grammatical structure. In R. Jakobson (Ed.), Structure of language in its mathematicalaspects (pp. 56\u201368). Providence, RI: American Mathematical Society."},{"key":"373_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-9473-7","volume-title":"Word meaning and Montague grammar","author":"D Dowty","year":"1979","unstructured":"Dowty, D. (1979). Word meaning and Montague grammar. Dordrecht: D. Reidel."},{"key":"373_CR9","volume-title":"Introduction to Montague semantics","author":"D Dowty","year":"1981","unstructured":"Dowty, D., Wall, R., & Peters, S. (1981). Introduction to Montague semantics. Dordrecht: D. Reidel."},{"key":"373_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-90-481-8812-3","volume-title":"Procedural semantics for hyperintensional logic","author":"M Du\u017ei","year":"2010","unstructured":"Du\u017ei, M., Jespersen, B., & Materna, A. (2010). Procedural semantics for hyperintensional logic. Berlin: Springer."},{"key":"373_CR11","volume-title":"Translations from the philosophical writings of Gottlob Frege","author":"G Frege","year":"1980","unstructured":"Frege, G. (1980). On sense and reference. Translation of \u00dcber Sinn und Bedeutung, 1892. In P. Geach & M. Black (Eds.), Translations from the philosophical writings of Gottlob Frege (3rd ed.). Oxford: Blackwell.","edition":"3"},{"key":"373_CR12","volume-title":"Intensional and higher order modal logic","author":"D Gallin","year":"1975","unstructured":"Gallin, D. (1975). Intensional and higher order modal logic. Amsterdam: North-Holland."},{"key":"373_CR13","unstructured":"Heim, I. (1982). The semantics of definite and indefinite noun phrases. Ph.D. Dissertation, University of Massachusetts, Amherst, MA."},{"key":"373_CR14","volume-title":"Semantics in generative grammar","author":"I Heim","year":"1998","unstructured":"Heim, I., & Kratzer, A. (1998). Semantics in generative grammar. Oxford: Blackwell."},{"key":"373_CR15","doi-asserted-by":"crossref","first-page":"81","DOI":"10.2307\/2266967","volume":"15","author":"L Henkin","year":"1950","unstructured":"Henkin, L. (1950). Completeness in the theory of types. Journal of Symbolic Logic, 15, 81\u201391.","journal-title":"Journal of Symbolic Logic"},{"key":"373_CR16","unstructured":"Kamp, H. (1981). A theory of truth and semantic representation. In J. Groenendijk, T. Janssen, & M. Stokhof (Eds.), Formal methods in the study of language (Part 1, pp. 277\u2013322). Amsterdam: Mathematical Centre."},{"key":"373_CR17","first-page":"81","volume":"8","author":"D Kaplan","year":"1978","unstructured":"Kaplan, D. (1978). On the logic of demonstratives. Journal of Philosophical Logic, 8, 81\u201398.","journal-title":"Journal of Philosophical Logic"},{"key":"373_CR18","unstructured":"Karttunen, L. (1976). Discourse referents. In J. McCawley (Ed.), Notes from the linguistic underground. Syntax and semantics (Vol. 7, pp. 363\u2013385). New York: Academic Press."},{"key":"373_CR19","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/BF00351935","volume":"1","author":"L Karttunen","year":"1977","unstructured":"Karttunen, L. (1977). Syntax and semantics of questions. Linguistics and Philosophy, 1, 3\u201344.","journal-title":"Linguistics and Philosophy"},{"key":"373_CR20","doi-asserted-by":"crossref","first-page":"495","DOI":"10.1007\/BF00257383","volume":"25","author":"J King","year":"1996","unstructured":"King, J. (1996). Structured propositions and sentence structure. Journal of Philosophical Logic, 25, 495\u2013521.","journal-title":"Journal of Philosophical Logic"},{"key":"373_CR21","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780199226061.001.0001","volume-title":"The nature and structure of content","author":"J King","year":"2007","unstructured":"King, J. (2007). The nature and structure of content. Oxford: Oxford University Press."},{"key":"373_CR22","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1002\/malq.19630090502","volume":"9","author":"S Kripke","year":"1963","unstructured":"Kripke, S. (1963). Semantic analysis of modal logic I: Normal modal propositional calculi. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik, 9, 67\u201396.","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"373_CR23","volume-title":"Naming and necessity","author":"S Kripke","year":"1980","unstructured":"Kripke, S. (1980). Naming and necessity. Oxford: Blackwell."},{"key":"373_CR24","doi-asserted-by":"crossref","first-page":"154","DOI":"10.2307\/2310058","volume":"65","author":"J Lambek","year":"1958","unstructured":"Lambek, J. (1958). The mathematics of sentence structure. American Mathematical Monthly, 65, 154\u2013170.","journal-title":"American Mathematical Monthly"},{"key":"373_CR25","volume-title":"Introduction to higher-order categorical logic","author":"J Lambek","year":"1986","unstructured":"Lambek, J., & Scott, P. (1986). Introduction to higher-order categorical logic. Cambridge: Cambridge University Press."},{"key":"373_CR26","doi-asserted-by":"crossref","first-page":"141","DOI":"10.2307\/2939435","volume":"20","author":"CI Lewis","year":"1923","unstructured":"Lewis, C. I. (1923). Facts, systems, and the unity of the world. Journal of Philosophy, 20, 141\u2013151.","journal-title":"Journal of Philosophy"},{"key":"373_CR27","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/BF00413598","volume":"22","author":"D Lewis","year":"1970","unstructured":"Lewis, D. (1970). General semantics. Synthese, 22, 18\u201367.","journal-title":"Synthese"},{"key":"373_CR28","unstructured":"Martin, S. (2013). The dynamics of sense and implicature. Ph.D. Dissertation, Ohio State University, Columbus, OH."},{"key":"373_CR29","unstructured":"Mihali\u010dek, V. (2012). Serbo-Croatian word order: A logical approach. Ph.D. Dissertation, Ohio State University, Columbus, OH."},{"key":"373_CR30","first-page":"119","volume-title":"Formal philosophy: Selected papers of Richard Montague","author":"R Montague","year":"1974","unstructured":"Montague, R. (1974). Pragmatics and intensional logic. In R. Thomason (Ed.), Formal philosophy: Selected papers of Richard Montague (pp. 119\u2013146). New Haven, CT: Yale University Press."},{"key":"373_CR31","first-page":"247","volume-title":"Formal philosophy: Selected papers of Richard Montague","author":"R Montague","year":"1974","unstructured":"Montague, R. (1974). The proper treatment of quantification in ordinary English. In R. Thomason (Ed.), Formal philosophy: Selected papers of Richard Montague (pp. 247\u2013270). New Haven, CT: Yale University Press."},{"key":"373_CR32","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/s10988-005-6920-7","volume":"29","author":"Y Moschovakis","year":"2006","unstructured":"Moschovakis, Y. (2006). A logical calculus of meaning and synonymy. Linguistics and Philosophy, 29, 27\u201389.","journal-title":"Linguistics and Philosophy"},{"issue":"4","key":"373_CR33","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1007\/s10988-004-7684-1","volume":"28","author":"R Muskens","year":"2005","unstructured":"Muskens, R. (2005). Sense and the computation of reference. Linguistics and Philosophy, 28(4), 473\u2013504.","journal-title":"Linguistics and Philosophy"},{"key":"373_CR34","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1007\/s11168-007-9035-1","volume":"5","author":"R Muskens","year":"2007","unstructured":"Muskens, R. (2007). Separating syntax and combinatorics in categorial grammar. Research on Language and Computation, 5, 267\u2013285.","journal-title":"Research on Language and Computation"},{"key":"373_CR35","doi-asserted-by":"crossref","first-page":"633","DOI":"10.1007\/BF00985321","volume":"17","author":"R Oehrle","year":"1994","unstructured":"Oehrle, R. (1994). Term-labelled categorial type systems. Linguistics and Philosophy, 17, 633\u2013678.","journal-title":"Linguistics and Philosophy"},{"key":"373_CR36","unstructured":"Plummer, A., & Pollard, C. (2012). Agnostic possible worlds semantics. Logical aspects of computational linguistics. In Seventh international conference (LACL 2012), Nantes, July 2012. Springer Lecture Notes in Computer Science (Vol. 7351, pp. 201\u2013212). Berlin: Springer."},{"issue":"2","key":"373_CR37","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1093\/logcom\/exm003","volume":"18","author":"C Pollard","year":"2008","unstructured":"Pollard, C. (2008). Hyperintensions. Journal of Logic and Computation, 18(2), 257\u2013282.","journal-title":"Journal of Logic and Computation"},{"key":"373_CR38","unstructured":"Pollard, C. (2011). Are (linguists\u2019) propositions (topos) propositions? Logical aspects of computational Linguistics 6. Berlin: Springer."},{"key":"373_CR39","unstructured":"Smith, E. (2010). Correlational comparison in English. Ph.D. Dissertation, Ohio State University, Columbus, OH."},{"key":"373_CR40","doi-asserted-by":"crossref","first-page":"47","DOI":"10.5840\/philtopics198715112","volume":"15","author":"S Soames","year":"1987","unstructured":"Soames, S. (1987). Direct reference, propositional attitudes, and semantic content. Philosophical Topics, 15, 47\u201387.","journal-title":"Philosophical Topics"},{"key":"373_CR41","first-page":"79","volume-title":"Issues in the philosophy of language","author":"R Stalnaker","year":"1976","unstructured":"Stalnaker, R. (1976). Propositions. In A. F. MacKay & D. D. Merril (Eds.), Issues in the philosophy of language (pp. 79\u201391). New Haven, CT: Yale University Press."},{"key":"373_CR42","volume-title":"Inquiry","author":"R Stalnaker","year":"1984","unstructured":"Stalnaker, R. (1984). Inquiry. Cambridge, MA: MIT Press\/Bradford Books."},{"key":"373_CR43","doi-asserted-by":"crossref","first-page":"701","DOI":"10.1023\/A:1020867916902","volume":"25","author":"R Stalnaker","year":"2002","unstructured":"Stalnaker, R. (2002). Common ground. Linguistics and Philosophy, 25, 701\u2013721.","journal-title":"Linguistics and Philosophy"},{"key":"373_CR44","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/6591.001.0001","volume-title":"The syntactic process","author":"M Steedman","year":"2000","unstructured":"Steedman, M. (2000). The syntactic process. Cambridge, MA: MIT Press\/Bradford Books."},{"key":"373_CR45","doi-asserted-by":"crossref","unstructured":"Thomason, R. (1976). Some extensions of Montague grammar. In B. Partee (Ed.), Montague grammar (pp. 75\u2013111). New York: Academic Press.","DOI":"10.1016\/B978-0-12-545850-4.50009-1"},{"key":"373_CR46","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/BF00351813","volume":"4","author":"R Thomason","year":"1980","unstructured":"Thomason, R. (1980). A model theory for propositional attitudes. Linguistics and Philosophy, 4, 47\u201370.","journal-title":"Linguistics and Philosophy"},{"key":"373_CR47","unstructured":"Tich\u00fd, P. (2004). Collected papers in logic and philosophy (V. Svoboda, B. Jespersen, & C. Cheyne, Eds.). Filosofia\/Dunedin: Czech Academy of Sciences\/University of Otago Press."},{"key":"373_CR48","unstructured":"von Stechow, A. (1989). Focusing and backgrounding operators. Arbeitspapier No. 6, Fachgruppe Sprachwissenschaft, Universit\u00e4t Konstanz."},{"key":"373_CR49","unstructured":"Wittgenstein, L. (1961). Tractatus Logico-Philosophicus. Translation by D. F. Pears & B. F. McGuinness of Logisch-Philosophische Abhandlung in Annalen der Naturphilosophie, 1921. London and Henley: Routledge & Kegan Paul."}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-013-0373-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-013-0373-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-013-0373-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T07:22:35Z","timestamp":1746084155000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-013-0373-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12,19]]},"references-count":49,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2015,3]]}},"alternative-id":["373"],"URL":"https:\/\/doi.org\/10.1007\/s11229-013-0373-2","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,12,19]]}}}