{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,12]],"date-time":"2024-06-12T00:04:27Z","timestamp":1718150667413},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"11","license":[{"start":{"date-parts":[[2015,9,28]],"date-time":"2015-09-28T00:00:00Z","timestamp":1443398400000},"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":[[2016,11]]},"DOI":"10.1007\/s11229-015-0909-8","type":"journal-article","created":{"date-parts":[[2015,9,28]],"date-time":"2015-09-28T17:54:08Z","timestamp":1443462848000},"page":"3551-3565","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Prior, Berkeley, and the Barcan formula"],"prefix":"10.1007","volume":"193","author":[{"given":"James","family":"Levine","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,9,28]]},"reference":[{"key":"909_CR1","unstructured":"Armstrong, D. M. (Ed.). (1965). Editor\u2019s introduction. In Berkeley\u2019s philosophical writings (pp. 7\u201334). New York: Collier Books."},{"key":"909_CR2","unstructured":"Berkeley, G. (1710\/1965). A Treatise concerning the principles of human knowledge. In D. M. Armstrong (Ed.), Berkeley\u2019s philosophical writings (pp. 41\u2013128). New York: Collier Books."},{"key":"909_CR3","unstructured":"Berkeley, G. (1713\/1965). Three dialogues between Hylas and Philonous. In D. M. Armstrong (Ed.), Berkeley\u2019s philosophical writings (pp. 129\u2013225). New York: Collier Books."},{"key":"909_CR4","first-page":"1","volume-title":"Logic and reality: Essays on the legacy of Arthur Prior","author":"BJ Copeland","year":"1996","unstructured":"Copeland, B. J. (1996). Prior\u2019s life and legacy. In B. J. Copeland (Ed.), Logic and reality: Essays on the legacy of Arthur Prior (pp. 1\u201340). Oxford: Clarendon Press."},{"key":"909_CR5","first-page":"83","volume":"16","author":"S Kripke","year":"1963","unstructured":"Kripke, S. (1963). Semantical considerations on modal logic. Acta Philosophica Fennica, 16, 83\u201394.","journal-title":"Acta Philosophica Fennica"},{"key":"909_CR6","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1007\/BF00872980","volume":"75","author":"T Lennon","year":"1988","unstructured":"Lennon, T. (1988). Berkeley and the ineffable. Synthese, 75, 231\u2013250.","journal-title":"Synthese"},{"key":"909_CR7","doi-asserted-by":"crossref","first-page":"170","DOI":"10.1093\/acprof:oso\/9780199665785.003.0009","volume-title":"Wittgenstein\u2019s tractatus: History & interpretation","author":"J Levine","year":"2013","unstructured":"Levine, J. (2013). Logic and solipsism. In P. Sullivan & M. Potter (Eds.), Wittgenstein\u2019s tractatus: History & interpretation (pp. 170\u2013238). Oxford: University Press."},{"key":"909_CR8","doi-asserted-by":"crossref","first-page":"431","DOI":"10.2307\/2214181","volume":"8","author":"B Linsky","year":"1994","unstructured":"Linsky, B., & Zalta, E. (1994). In defense of the simplest quantified modal logic. Philosophical Perspectives, 8, 431\u2013458.","journal-title":"Philosophical Perspectives"},{"key":"909_CR9","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1007\/BF00354491","volume":"84","author":"B Linsky","year":"1996","unstructured":"Linsky, B., & Zalta, E. (1996). In defense of the contingently nonconcrete. Philosophical Studies, 84, 283\u2013294.","journal-title":"Philosophical Studies"},{"key":"909_CR10","doi-asserted-by":"crossref","first-page":"193","DOI":"10.2307\/2955461","volume":"14","author":"JL Mackie","year":"1964","unstructured":"Mackie, J. L. (1964). Self-refutation: A formal analysis. The Philosophical Quarterly, 14, 193\u2013203.","journal-title":"The Philosophical Quarterly"},{"key":"909_CR11","doi-asserted-by":"crossref","first-page":"317","DOI":"10.2307\/2217099","volume":"3","author":"AN Prior","year":"1953","unstructured":"Prior, A. N. (1953). Three-valued logic and future contingents. The Philosophical Quarterly, 3, 317\u2013326.","journal-title":"The Philosophical Quarterly"},{"key":"909_CR12","volume-title":"Formal logic","author":"AN Prior","year":"1955","unstructured":"Prior, A. N. (1955a). Formal logic. Oxford: Clarendon Press."},{"key":"909_CR13","unstructured":"Prior, A. N. (1955b\/1976). Berkeley in logical form (BLF). Reprint in A. N. Prior, Papers in Logic and Ethics (pp. 33\u201338), ed. by P. T. Geach & A. J. P. Kenny."},{"key":"909_CR14","doi-asserted-by":"crossref","first-page":"205","DOI":"10.2307\/2957434","volume":"5","author":"AN Prior","year":"1955","unstructured":"Prior, A. N. (1955c). Diodoran modalities. The Philosophical Quarterly, 5, 205\u2013213.","journal-title":"The Philosophical Quarterly"},{"key":"909_CR15","doi-asserted-by":"crossref","first-page":"60","DOI":"10.2307\/2268488","volume":"21","author":"AN Prior","year":"1956","unstructured":"Prior, A. N. (1956). Modality and quantification in S5. The Journal of Symbolic Logic, 21, 60\u201362.","journal-title":"The Journal of Symbolic Logic"},{"key":"909_CR16","unstructured":"Prior, A. N. (1957). Time and modality $$({\\rm TM})$$ ( TM ) . Oxford: Clarendon Press."},{"key":"909_CR17","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1353\/frc.1958.0008","volume":"18","author":"AN Prior","year":"1958","unstructured":"Prior, A. N. (1958a). The syntax of time-distinctions. Franciscan Studies, 18, 105\u2013120.","journal-title":"Franciscan Studies"},{"key":"909_CR18","doi-asserted-by":"crossref","first-page":"226","DOI":"10.2307\/2216984","volume":"8","author":"AN Prior","year":"1958","unstructured":"Prior, A. N. (1958b). Diodorus and modal logic: A correction. The Philosophical Quarterly, 8, 226\u2013230.","journal-title":"The Philosophical Quarterly"},{"key":"909_CR19","unstructured":"Prior, A. N. (1959\/1976). Thank goodness that\u2019s over. Reprint in A. N. Prior, Papers in Logic and Ethics (pp. 78\u201384), ed. by P. T. Geach & A. J. P. Kenny. London: Duckworth."},{"key":"909_CR20","doi-asserted-by":"crossref","unstructured":"Prior, A. N. (1962\/2003). Changes in events and changes in times. Reprint in A. N. Prior, Papers on Time and Tense (new edition, pp. 7\u201319), ed. by P. Hasle, P. Ohrstrom, T. Brauner, & J. Copeland. Oxford: Oxford University Press.","DOI":"10.1093\/oso\/9780199256068.003.0001"},{"key":"909_CR21","doi-asserted-by":"crossref","unstructured":"Prior, A. N. (1968a\/2003). Quasi-propositions and quasi-individuals. Reprint in A. N. Prior, Papers on Time and Tense (new edition, pp. 213\u201321), ed. by P. Hasle, P. Ohrstrom, T. Brauner, & J. Copeland. Oxford: University Press.","DOI":"10.1093\/oso\/9780199256068.003.0016"},{"key":"909_CR22","doi-asserted-by":"crossref","unstructured":"Prior, A. N. (1968b\/2003). Tense logic for non-permanent existents. Reprint in A. N. Prior, Papers on Time and Tense (new edition, pp. 257\u201374), ed. by P. Hasle, P. Ohrstrom, T. Brauner, & J. Copeland. Oxford: University Press.","DOI":"10.1093\/oso\/9780199256068.003.0019"},{"key":"909_CR23","unstructured":"Prior, A. N. (1968c\/2003). Now. Reprint in A. N. Prior, Papers on Time and Tense (new edition, pp. 171\u201393), ed. by P. Hasle, P. Ohrstrom, T. Brauner, & J. Copeland. Oxford: University Press."},{"key":"909_CR24","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001","volume-title":"Past, present, and future","author":"AN Prior","year":"1967","unstructured":"Prior, A. N. (1967). Past, present, and future. Oxford: Clarendon Press."},{"key":"909_CR25","unstructured":"Prior, A. N. (1969\/1976). Self-perception and contingency. Reprint in A. N. Prior, Papers in Logic and Ethics (pp. 215\u2013218), ed. by P. T. Geach & A. J. P. Kenny. London: Duckworth."},{"key":"909_CR26","volume-title":"Worlds, times and selves","author":"AN Prior","year":"1977","unstructured":"Prior, A. N., & Fine, K. (1977). Worlds, times and selves. Amherst: University of Massachusetts Press."},{"key":"909_CR27","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780199669424.001.0001","volume-title":"Berkeley\u2019s argument for idealism","author":"S Rickless","year":"2013","unstructured":"Rickless, S. (2013). Berkeley\u2019s argument for idealism. Oxford: University Press."},{"key":"909_CR28","unstructured":"Russell, B. (1913\/1984). Theory of knowledge: The 1913 manuscript. In E. Eames (Ed.), The collected papers of Bertrand Russell: Volume 7. London: George Allen & Unwin, 1984."},{"key":"909_CR29","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781316286586","volume-title":"Dilemmas","author":"G Ryle","year":"1954","unstructured":"Ryle, G. (1954). Dilemmas. Cambridge: University Press."},{"key":"909_CR30","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1023\/A:1005331819843","volume":"48","author":"T Williamson","year":"1998","unstructured":"Williamson, T. (1998). Bare possibilia. Erkenntnis, 48, 257\u2013273.","journal-title":"Erkenntnis"},{"key":"909_CR31","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780199552078.001.0001","volume-title":"Modal logic as metaphysics","author":"T Williamson","year":"2013","unstructured":"Williamson, T. (2013). Modal logic as metaphysics. Oxford: University Press."},{"key":"909_CR32","unstructured":"Wittgenstein, L. (1922\/1974). Tractatus logico-philosophicus (D. F. Pears & B. McGuinness, Trans., 2nd ed). London: Routledge & Kegan Paul, Ltd."}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0909-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-015-0909-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0909-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0909-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,11]],"date-time":"2024-06-11T12:22:42Z","timestamp":1718108562000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-015-0909-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9,28]]},"references-count":32,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2016,11]]}},"alternative-id":["909"],"URL":"https:\/\/doi.org\/10.1007\/s11229-015-0909-8","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,9,28]]}}}