{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,14]],"date-time":"2023-08-14T15:10:11Z","timestamp":1692025811354},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"11","license":[{"start":{"date-parts":[[2015,9,24]],"date-time":"2015-09-24T00:00:00Z","timestamp":1443052800000},"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-0906-y","type":"journal-article","created":{"date-parts":[[2015,9,24]],"date-time":"2015-09-24T20:54:02Z","timestamp":1443128042000},"page":"3651-3663","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Prior and possibly not existing"],"prefix":"10.1007","volume":"193","author":[{"given":"Michael","family":"Nelson","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,9,24]]},"reference":[{"key":"906_CR1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/BF01063914","volume":"49","author":"R Adams","year":"1981","unstructured":"Adams, R. (1981). Actualism and thisness. Synthese, 49, 3\u201341.","journal-title":"Synthese"},{"key":"906_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2269159","volume":"11","author":"R Barcan","year":"1946","unstructured":"Barcan, R. (1946). A functional calculus of first order based on strict implication. Journal of Symbolic Logic, 11, 1\u201316.","journal-title":"Journal of Symbolic Logic"},{"key":"906_CR3","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/978-94-009-5223-2_4","volume-title":"Profiles: Alvin Plantinga","author":"K Fine","year":"1985","unstructured":"Fine, K. (1985). Plantinga on the reduction of possibilist discourse. In J. Tomberlin & P. van Inwagen (Eds.), Profiles: Alvin Plantinga (pp. 145\u2013186). Dordrecht: D. Reidel."},{"key":"906_CR4","volume-title":"Symbolic logic","author":"F Fitch","year":"1952","unstructured":"Fitch, F. (1952). Symbolic logic. New York: Ronald Press."},{"key":"906_CR5","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511617737","volume-title":"Modal logic for philosophers","author":"J Garson","year":"2006","unstructured":"Garson, J. (2006). Modal logic for philosophers. Cambridge: Cambridge University Press."},{"key":"906_CR6","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":"906_CR7","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/BF00249434","volume":"20","author":"C Menzel","year":"1991","unstructured":"Menzel, C. (1991). The true modal logic. Journal of Philosophical Logic, 20, 331\u2013374.","journal-title":"Journal of Philosophical Logic"},{"key":"906_CR8","volume-title":"Formal logic","author":"A Prior","year":"1955","unstructured":"Prior, A. (1955). Formal logic. Oxford: Oxford University Press."},{"key":"906_CR9","doi-asserted-by":"crossref","first-page":"60","DOI":"10.2307\/2268488","volume":"21","author":"A Prior","year":"1956","unstructured":"Prior, A. (1956). Modality and quantification in S5. Journal of Symbolic Logic, 21, 60\u201362.","journal-title":"Journal of Symbolic Logic"},{"key":"906_CR10","volume-title":"Time and modality","author":"A Prior","year":"1957","unstructured":"Prior, A. (1957). Time and modality. Oxford: Oxford University Press."},{"key":"906_CR11","unstructured":"Prior, A. (1963). Papers on time and tense. New Edition in 2003. Hasle, P., Ohrstrom, P., Brauner, T., Copeland, J. (Eds.), Oxford: Oxford University Press."},{"key":"906_CR12","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1305\/ndjfl\/1093957881","volume":"5","author":"A Prior","year":"1964","unstructured":"Prior, A. (1964). Axiomatisations of modal calculus Q. Notre Dame Journal of Formal Logic, 5, 215\u2013217.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"906_CR13","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1017\/CBO9780511550287.012","volume-title":"Logic, thought, and language","author":"T Williamson","year":"2002","unstructured":"Williamson, T. (2002). Necessary exitents. In A. O\u2019Hear (Ed.), Logic, thought, and language (pp. 233\u2013251). Cambridge: Cambridge University Press."}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0906-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-015-0906-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0906-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0906-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,14]],"date-time":"2023-08-14T14:30:28Z","timestamp":1692023428000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-015-0906-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9,24]]},"references-count":13,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2016,11]]}},"alternative-id":["906"],"URL":"https:\/\/doi.org\/10.1007\/s11229-015-0906-y","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,9,24]]}}}