{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,22]],"date-time":"2026-07-22T04:52:34Z","timestamp":1784695954556,"version":"3.55.0"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2019,2,26]],"date-time":"2019-02-26T00:00:00Z","timestamp":1551139200000},"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":["J Philos Logic"],"published-print":{"date-parts":[[2019,12]]},"DOI":"10.1007\/s10992-019-09505-z","type":"journal-article","created":{"date-parts":[[2019,2,26]],"date-time":"2019-02-26T14:08:17Z","timestamp":1551190097000},"page":"1017-1075","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":15,"title":["Substitution Structures"],"prefix":"10.1007","volume":"48","author":[{"given":"Andrew","family":"Bacon","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2019,2,26]]},"reference":[{"key":"9505_CR1","first-page":"3","volume":"1","author":"P Aczel","year":"1990","unstructured":"Aczel, P. (1990). Replacement systems and the axiomatization of situation theory. Situation Theory and Its Applications, 1, 3\u201333.","journal-title":"Situation Theory and Its Applications"},{"key":"9505_CR2","unstructured":"Arnold, VI. (1989). Mathematical methods of classical mechanics, 2nd edn. Springer-Verlag."},{"issue":"5","key":"9505_CR3","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1007\/s10992-017-9447-9","volume":"47","author":"A Bacon","year":"2018","unstructured":"Bacon, A. (2018). The broadest necessity. Journal of Philosophical Logic, 47 (5), 733\u2013783.","journal-title":"Journal of Philosophical Logic"},{"key":"9505_CR4","unstructured":"Bacon, A. (2018). Logical combinatorialism. MS."},{"key":"9505_CR5","doi-asserted-by":"crossref","unstructured":"Bacon, A. (2018). Vagueness and thought. Oxford University Press.","DOI":"10.1093\/oso\/9780198712060.001.0001"},{"issue":"1","key":"9505_CR6","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/s11098-017-1015-1","volume":"176","author":"A Bacon","year":"2019","unstructured":"Bacon, A. (2019). Is reality fundamentally qualitative? Philosophical Studies, 176(1), 259\u2013295.","journal-title":"Philosophical Studies"},{"issue":"242","key":"9505_CR7","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1093\/mind\/LXI.242.153","volume":"61","author":"M Black","year":"1952","unstructured":"Black, M. (1952). The identity of indiscernibles. Mind, 61(242), 153\u2013164.","journal-title":"Mind"},{"key":"9505_CR8","first-page":"175","volume":"17","author":"E Chad","year":"2008","unstructured":"Chad, E. (2008). Brown. M-set models. Reasoning in Simple Type Theory: Festschrift in Honour of Peter B. Andrews on his 70th Birthday, 17, 175\u2013186.","journal-title":"Reasoning in Simple Type Theory: Festschrift in Honour of Peter B. Andrews on his 70th Birthday"},{"issue":"1","key":"9505_CR9","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/BF02314421","volume":"34","author":"MJ Cresswell","year":"1975","unstructured":"Cresswell, M.J. (1975). Hyperintensional logic. Studia Logica, 34(1), 25\u201338.","journal-title":"Studia Logica"},{"key":"9505_CR10","unstructured":"Cresswell, M.J. (1985). Structured meanings. MIT Press."},{"issue":"1","key":"9505_CR11","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1111\/phpe.12079","volume":"30","author":"C Dorr","year":"2016","unstructured":"Dorr, C. (2016). To be F is to be G. Philosophical Perspectives, 30(1), 39\u2013134.","journal-title":"Philosophical Perspectives"},{"key":"9505_CR12","unstructured":"Mehdi Ebrahimi, M, & Mahmoudi, M. (2001). The category of m-sets. Italian Journal of Pure and Applied Mathematics, 123\u2013132."},{"issue":"1","key":"9505_CR13","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/BF00262054","volume":"6","author":"K Fine","year":"1977","unstructured":"Fine, K. (1977). Properties, propositions and sets. Journal of Philosophical Logic, 6(1), 135\u2013191.","journal-title":"Journal of Philosophical Logic"},{"issue":"6","key":"9505_CR14","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1007\/s10992-016-9413-y","volume":"46","author":"K Fine","year":"2017","unstructured":"Fine, K. (2017). A theory of truthmaker content i: conjunction, disjunction and negation. Journal of Philosophical Logic, 46(6), 625\u2013674.","journal-title":"Journal of Philosophical Logic"},{"issue":"6","key":"9505_CR15","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1007\/s10992-016-9419-5","volume":"46","author":"K Fine","year":"2017","unstructured":"Fine, K. (2017). A theory of truthmaker content ii: subject-matter, common content, remainder and ground. Journal of Philosophical Logic, 46(6), 675\u2013702.","journal-title":"Journal of Philosophical Logic"},{"key":"9505_CR16","doi-asserted-by":"crossref","unstructured":"Friedman, H. (1975). Equality between functionals. In Logic colloquium (pp. 22\u201337). Springer.","DOI":"10.1007\/BFb0064870"},{"issue":"6","key":"9505_CR17","doi-asserted-by":"publisher","first-page":"645","DOI":"10.1007\/s10992-015-9388-0","volume":"45","author":"P Fritz","year":"2016","unstructured":"Fritz, P., & Goodman, J. (2016). Higher-order contingentism, part 1: closure and generation. Journal of Philosophical Logic, 45(6), 645\u2013695.","journal-title":"Journal of Philosophical Logic"},{"issue":"1","key":"9505_CR18","doi-asserted-by":"publisher","first-page":"36","DOI":"10.2307\/2268484","volume":"21","author":"RO Gandy","year":"1956","unstructured":"Gandy, R.O. (1956). On the axiom of extensionality\u2013part i. Journal of Symbolic Logic, 21(1), 36\u201348.","journal-title":"Journal of Symbolic Logic"},{"issue":"1","key":"9505_CR19","first-page":"43","volume":"77","author":"J Goodman","year":"2017","unstructured":"Goodman, J. (2017). Reality is not structured. Analysis, 77(1), 43\u201353.","journal-title":"Analysis"},{"issue":"2","key":"9505_CR20","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1215\/00294527-2864352","volume":"56","author":"HT Hodes","year":"2015","unstructured":"Hodes, H.T. (2015). Why ramify? Notre Dame Journal of Formal Logic, 56 (2), 379\u2013415.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9505_CR21","doi-asserted-by":"publisher","first-page":"2000","DOI":"10.1515\/9783110812909","volume-title":"Monoids, acts and categories. de Gruyter expositions in mathematics, Vol. 29","author":"M Kilp","year":"2000","unstructured":"Kilp, M., Knauer, U., Mikhalev, A.V. (2000). Monoids, acts and categories. de Gruyter expositions in mathematics (Vol. 29, p. 2000). Berlin: Walter de Gruyter Co."},{"issue":"2","key":"9505_CR22","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/BF00370114","volume":"51","author":"S Lapierre","year":"1992","unstructured":"Lapierre, S. (1992). Structured meanings and reflexive domains. Studia Logica, 51(2), 215\u2013239.","journal-title":"Studia Logica"},{"key":"9505_CR23","unstructured":"Leinster, T. (2000). The Yoneda lemma: what\u2019s it all about. Online note available at: \nhttp:\/\/www.maths.ed.ac.uk\/tl\/categories\/yoneda.ps\n\n."},{"issue":"1\u20132","key":"9505_CR24","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/BF00413598","volume":"22","author":"D Lewis","year":"1970","unstructured":"Lewis, D. (1970). General semantics. Synthese, 22(1\u20132), 18\u201367.","journal-title":"Synthese"},{"key":"9505_CR25","volume-title":"Foundations for programming languages, Vol. 1","author":"JC Mitchell","year":"1996","unstructured":"Mitchell, J.C. (1996). Foundations for programming languages Vol. 1. Cambridge: MIT Press."},{"issue":"1\u20132","key":"9505_CR26","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0168-0072(91)90067-V","volume":"51","author":"JC Mitchell","year":"1991","unstructured":"Mitchell, J.C, & Moggi, E. (1991). Kripke-style models for typed lambda calculus. Annals of Pure and Applied Logic, 51(1\u20132), 99\u2013124.","journal-title":"Annals of Pure and Applied Logic"},{"issue":"1","key":"9505_CR27","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/s11098-013-0251-2","volume":"171","author":"D Nolan","year":"2014","unstructured":"Nolan, D. (2014). Hyperintensional metaphysics. Philosophical Studies, 171 (1), 149\u2013160.","journal-title":"Philosophical Studies"},{"key":"9505_CR28","unstructured":"Plotkin, G. (1973). Lambda-definability and logical relations. Technical report, University of Edinburgh, 1973. SAI-RM-4. School of Artificial Intelligence, Edinburgh."},{"key":"9505_CR29","doi-asserted-by":"crossref","unstructured":"Prior, A.N. (1971). Objects of thought. Clarendon Press.","DOI":"10.1093\/acprof:oso\/9780198243540.001.0001"},{"issue":"1","key":"9505_CR30","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1111\/0029-4624.00288","volume":"35","author":"A Rayo","year":"2001","unstructured":"Rayo, A., & Yablo, S. (2001). Nominalism through de-nominalization. No\u00fbs, 35(1), 74\u201392.","journal-title":"No\u00fbs"},{"issue":"1","key":"9505_CR31","doi-asserted-by":"publisher","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(1), 47\u201387.","journal-title":"Philosophical Topics"},{"key":"9505_CR32","first-page":"221","volume":"10","author":"R Stalnaker","year":"1996","unstructured":"Stalnaker, R. (1996). Varieties of supervenience. Philosophical Perspectives, 10, 221\u201342.","journal-title":"Philosophical Perspectives"},{"issue":"1","key":"9505_CR33","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1111\/j.1520-8583.2003.00017.x","volume":"17","author":"T Williamson","year":"2003","unstructured":"Williamson, T. (2003). Everything. Philosophical Perspectives, 17(1), 415\u2013465.","journal-title":"Philosophical Perspectives"},{"key":"9505_CR34","unstructured":"Yablo, S. (2014). Aboutness. Princeton University Press."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-019-09505-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-019-09505-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-019-09505-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,26]],"date-time":"2020-02-26T00:10:17Z","timestamp":1582675817000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-019-09505-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,2,26]]},"references-count":34,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2019,12]]}},"alternative-id":["9505"],"URL":"https:\/\/doi.org\/10.1007\/s10992-019-09505-z","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,2,26]]},"assertion":[{"value":"9 April 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 February 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 February 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}