{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,23]],"date-time":"2024-03-23T04:12:43Z","timestamp":1711167163573},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2010,1,27]],"date-time":"2010-01-27T00:00:00Z","timestamp":1264550400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2010,2]]},"DOI":"10.1007\/s11225-010-9222-1","type":"journal-article","created":{"date-parts":[[2010,1,26]],"date-time":"2010-01-26T01:20:13Z","timestamp":1264468813000},"page":"105-138","source":"Crossref","is-referenced-by-count":4,"title":["Associative Substitutional Semantics and Quantified Modal Logic"],"prefix":"10.1007","volume":"94","author":[{"given":"Bartosz","family":"Wi\u0119ckowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,1,27]]},"reference":[{"key":"9222_CR1","unstructured":"Chihara, C.S., The Worlds of Possibility, Clarendon Press, 1998."},{"key":"9222_CR2","first-page":"83","volume":"25","author":"B.J. Copeland","year":"1982","unstructured":"Copeland B.J.: \u2018A note on the Barcan formula and substitutional quantification\u2019. Logique et Analyse 25, 83\u201386 (1982)","journal-title":"Logique et Analyse"},{"key":"9222_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1093\/analys\/45.1.1","volume":"45","author":"B.J. Copeland","year":"1985","unstructured":"Copeland B.J.: \u2018Substitutional quantification and existence\u2019. Analysis 45, 1\u20134 (1985)","journal-title":"Analysis"},{"key":"9222_CR4","unstructured":"Divers, J., Possible Worlds, Routledge, 2002."},{"key":"9222_CR5","doi-asserted-by":"crossref","first-page":"177","DOI":"10.2307\/2214704","volume":"2","author":"J.M. Dunn","year":"1968","unstructured":"Dunn J.M., Belnap N.D. Jr.: \u2018The substitution interpretation of the quantifiers\u2019. No\u00fbs 2, 177\u2013185 (1968)","journal-title":"No\u00fbs"},{"key":"9222_CR6","doi-asserted-by":"crossref","unstructured":"Dunn, J. M., \u2018A truth-value semantics for modal logic\u2019. In [14] 87\u2013100, 1973.","DOI":"10.1016\/S0049-237X(08)71535-0"},{"key":"9222_CR7","doi-asserted-by":"crossref","unstructured":"Fitting, M., Types, Tableaus and G\u00f6del\u2019s God, Kluwer Academic Publishers, 2002.","DOI":"10.1007\/978-94-010-0411-4"},{"key":"9222_CR8","doi-asserted-by":"crossref","unstructured":"Halln\u00e4s, L., and P. Schroeder-Heister, \u2018A proof-theoretic approach to logic programming I: clauses as rules\u2019, Journal of Logic and Computation 1:261\u2013283, 1990\/91. \u2018A proof-theoretic approach to logic programming II: programs as definitions\u2019, Journal of Logic and Computation 1:635\u2013660, 1990\/91.","DOI":"10.1093\/logcom\/1.5.635"},{"key":"9222_CR9","doi-asserted-by":"crossref","unstructured":"Hughes, G.E., and M.J. Cresswell, A New Introduction to Modal Logic, Routledge, 1996.","DOI":"10.4324\/9780203290644"},{"key":"9222_CR10","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1305\/ndjfl\/1093870093","volume":"23","author":"T. Jager","year":"1982","unstructured":"Jager T.: \u2018An actualistic semantics for quantified modal logic\u2019. Notre Dame Journal of Formal Logic 23, 335\u2013349 (1982)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9222_CR11","doi-asserted-by":"crossref","first-page":"690","DOI":"10.2307\/2024634","volume":"72","author":"S. Kripke","year":"1975","unstructured":"Kripke S.: \u2018Outline of a theory of truth\u2019. Journal of Philosophy 72, 690\u2013716 (1975)","journal-title":"Journal of Philosophy"},{"key":"9222_CR12","doi-asserted-by":"crossref","unstructured":"Kripke, S., \u2018Is there a problem about substitutional quantification?\u2019, in G. Evans, and J. McDowell, Truth and Meaning: Essays in Semantics, Oxford University Press, 1976, pp. 325\u2013419.","DOI":"10.1093\/oso\/9780198250074.003.0013"},{"key":"9222_CR13","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1305\/ndjfl\/1093894214","volume":"12","author":"H. Leblanc","year":"1971","unstructured":"Leblanc H.: \u2018Truth-value semantics for a logic of existence\u2019. Notre Dame Journal of Formal Logic 12, 153\u2013168 (1971)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9222_CR14","unstructured":"Leblanc, H. (ed.), Truth, Syntax and Modality. Proceedings of the Temple University Conference on Alternative Semantics, North-Holland, 1973."},{"key":"9222_CR15","doi-asserted-by":"crossref","unstructured":"Leblanc, H., \u2018Semantic deviations\u2019. In [14] 1\u201316, 1973.","DOI":"10.1016\/S0049-237X(08)71531-3"},{"key":"9222_CR16","unstructured":"Leblanc, H., \u2018On dispensing with things and worlds\u2019, in M. Munitz, (ed.), Logic and Ontology, New York University Press, 1973, pp. 241\u2013259."},{"key":"9222_CR17","unstructured":"Leblanc, H., Truth-Value Semantics, North-Holland, 1976."},{"key":"9222_CR18","doi-asserted-by":"crossref","unstructured":"Leblanc, H., \u2018Alternatives to standard first-order semantics\u2019, in D. M. Gabbay, and F. Guenthner (eds.), Handbook of Philosophical Logic, 2nd Edition, Vol. II, Kluwer Academic Publishers, 2001, pp. 53\u2013131.","DOI":"10.1007\/978-94-017-0452-6_2"},{"key":"9222_CR19","doi-asserted-by":"crossref","unstructured":"Lewis, D., \u2018Counterpart theory and quantified modal logic\u2019, in D. Lewis, Philosophical Papers, Vol. I, Oxford University Press, 26\u201339 (postscripts, 39\u201346), 1983. First published in: Journal of Philosophy 65:113\u2013126, 1968.","DOI":"10.2307\/2024555"},{"key":"9222_CR20","unstructured":"Lewis, D., On the Plurality of Worlds, Blackwell, 1986."},{"key":"9222_CR21","doi-asserted-by":"crossref","unstructured":"Linsky, B., and E. N. zalta, \u2018In defense of the simplest quantified modal logic\u2019, in J. Tomberlin (ed.), Philosophical Perspectives 8, Logic and Language, Ridgeview, 1994, pp. 431\u2013458.","DOI":"10.2307\/2214181"},{"key":"9222_CR22","doi-asserted-by":"crossref","unstructured":"Marcus, R. Barcan, \u2018Modalities and intensional languages\u2019, [in] 26 3\u201323, 1993. First published in: Synthese 12:303\u2013322, 1961.","DOI":"10.1007\/BF00486629"},{"key":"9222_CR23","doi-asserted-by":"crossref","first-page":"39","DOI":"10.2307\/3129990","volume":"49","author":"R. Barcan Marcus","year":"1976","unstructured":"Marcus R. Barcan: \u2018Dispensing with possibilia\u2019. Proceedings of the American Philosophical Association 49, 39\u201351 (1976)","journal-title":"Proceedings of the American Philosophical Association"},{"key":"9222_CR24","doi-asserted-by":"crossref","unstructured":"Marcus, R. Barcan, \u2018Nominalism and the substitutional quantifier\u2019, in [26] 111\u2013124, 1993. First published in: Monist 61:351\u2013362, 1978.","DOI":"10.5840\/monist197861331"},{"key":"9222_CR25","doi-asserted-by":"crossref","unstructured":"Marcus, R. Barcan, \u2018Possibilia and possible worlds\u2019, in [26] 189\u2013213, 1993. First published in: Grazer Philosophische Studien 25\/26:107\u2013133, 1985\/86.","DOI":"10.5840\/gps1985\/8625\/265"},{"key":"9222_CR26","unstructured":"Marcus, R. Barcan, Modalities: Philosophical Essays, Oxford University Press 1993."},{"key":"9222_CR27","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1111\/j.1755-2567.1976.tb00681.x","volume":"42","author":"A. Plantinga","year":"1976","unstructured":"Plantinga A.: \u2018Actualism and possible worlds\u2019. Theoria 42, 139\u2013160 (1976)","journal-title":"Theoria"},{"key":"9222_CR28","doi-asserted-by":"crossref","unstructured":"Quine, W. V., \u2018Ontological relativity\u2019, in W. V. Quine, Ontological Relativity and Other Essays, Columbia University Press, 1969, pp. 26\u201368. First published in: Journal of Philosophy 65:185\u2013212, 1968.","DOI":"10.2307\/2024305"},{"key":"9222_CR29","doi-asserted-by":"crossref","first-page":"479","DOI":"10.1093\/mind\/XIV.4.479","volume":"14","author":"B. Russell","year":"1905","unstructured":"Russell B.: \u2018On denoting\u2019. Mind 14, 479\u2013493 (1905)","journal-title":"Mind"},{"key":"9222_CR30","unstructured":"Tarski, A., \u2018The concept of truth in formalized languages\u2019, in [33] 152\u2013278, 1983. First published as: Poj\u0119cie prawdy w j\u0119zykach nauk dedukcyjnych, Prace Towarzystwa Naukowego Warszawskiego, Wydzia\u0142 III Nauk Matematyczno-Fizycznych, nr 34, Warszawa 1933."},{"key":"9222_CR31","unstructured":"Tarski, A., \u2018The establishment of scientific semantics\u2019, in [33] 401\u2013408, 1983. First published as: \u2018O ugruntowaniu naukowej semantyki\u2019, Przegl\u0105d Filozoficzny 39:50\u201357, 1936."},{"key":"9222_CR32","doi-asserted-by":"crossref","first-page":"341","DOI":"10.2307\/2102968","volume":"4","author":"A. Tarski","year":"1944","unstructured":"Tarski A.: \u2018The semantic conception of truth and the foundations of semantics\u2019. Philosophy and Phenomenological Research 4, 341\u2013375 (1944)","journal-title":"Philosophy and Phenomenological Research"},{"key":"9222_CR33","unstructured":"Tarski, A., Logic, Semantics, Metamathematics, translations by J. H. Woodger, J. Corcoran (ed.), 2nd Edition, Hackett Publishing Company, 1983."},{"key":"9222_CR34","doi-asserted-by":"crossref","first-page":"687","DOI":"10.1007\/BF00129610","volume":"2","author":"P. Tich\u00fd","year":"1973","unstructured":"Tich\u00fd P.: \u2018On de dicto modalities in quantified S5\u2019. Journal of Philosophical Logic 2, 687\u2013692 (1973)","journal-title":"Journal of Philosophical Logic"},{"key":"9222_CR35","unstructured":"Wi\u0119ckowski, B., Modality without Reference. An Alternative Semantics for Subsitutional Quantified Modal Logic and its Philosophical Significance, Dissertation, Universit\u00e4t T\u00fcbingen, 2007."},{"key":"9222_CR36","unstructured":"Wi\u0119ckowski, B., \u2018Predication in fiction\u2019, in M. Peli\u0161 (ed.), The Logica Yearbook 2007, Filosofia, 267\u2013285, 2008."},{"key":"9222_CR37","unstructured":"Wi\u0119ckowski, B., \u2018Substitution puzzles and substitutional semantics\u2019, in A. Gr\u00f8nn (ed.), Proceedings of SuB 12, ILOS, 645\u2013662, 2008."},{"key":"9222_CR38","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1023\/A:1005331819843","volume":"48","author":"T. Williamson","year":"1998","unstructured":"Williamson T.: \u2018Bare possibilia\u2019. Erkenntnis 48, 257\u2013273 (1998)","journal-title":"Erkenntnis"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-010-9222-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-010-9222-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-010-9222-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,23]],"date-time":"2024-03-23T03:55:37Z","timestamp":1711166137000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-010-9222-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1,27]]},"references-count":38,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,2]]}},"alternative-id":["9222"],"URL":"https:\/\/doi.org\/10.1007\/s11225-010-9222-1","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,1,27]]}}}