{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,13]],"date-time":"2026-03-13T04:44:51Z","timestamp":1773377091185,"version":"3.50.1"},"reference-count":65,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2006,6,1]],"date-time":"2006-06-01T00:00:00Z","timestamp":1149120000000},"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":[[2006,6]]},"DOI":"10.1007\/s11229-005-5514-9","type":"journal-article","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T14:52:45Z","timestamp":1154011965000},"page":"373-397","source":"Crossref","is-referenced-by-count":11,"title":["Meredith, Prior, and the History of Possible Worlds Semantics"],"prefix":"10.1007","volume":"150","author":[{"given":"B. Jack","family":"Copeland","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"5514_CR1","first-page":"28","volume":"1","author":"A. Bayart","year":"1958","journal-title":"Logique et Analyse"},{"key":"5514_CR2","first-page":"99","volume":"2","author":"A. Bayart","year":"1959","journal-title":"Logique et Analyse"},{"key":"5514_CR3","unstructured":"Borkowski, L. (ed.): 1970, Jan \u0141ukasiewicz: Selected Works, North Holland, Amsterdam"},{"key":"5514_CR4","doi-asserted-by":"crossref","first-page":"33","DOI":"10.2307\/2268610","volume":"11","author":"R. Carnap","year":"1946","journal-title":"Journal of Symbolic Logic"},{"key":"5514_CR5","volume-title":"Logic and Reality: Essays on the Legacy of Arthur Prior","year":"1996"},{"key":"5514_CR6","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1023\/A:1015273407895","volume":"31","author":"B.J. Copeland","year":"2002","journal-title":"Journal of Philosophical Logic"},{"key":"5514_CR7","volume-title":"Philosophical Logic","year":"1969"},{"key":"5514_CR8","volume-title":"Logic, Methodology and Philosophy of Science","author":"D. F\u00f8llesdal","year":"1994"},{"key":"5514_CR9","unstructured":"Hilbert, D. and W. Ackermann: 1928, Grundz\u00fcge der Theoretischen Logik [Principles of Mathematical Logic], Julius Springer, Berlin."},{"key":"5514_CR10","doi-asserted-by":"crossref","unstructured":"Hilpinen, R. (ed.): 1970, Deontic Logic: Introductory and Systematic Readings. Reidel, Dordrecht.","DOI":"10.1007\/978-94-010-3146-2"},{"key":"5514_CR11","first-page":"7","volume":"8","author":"J. Hintikka","year":"1955a","journal-title":"Acta Philosophica Fennica"},{"key":"5514_CR12","unstructured":"Hintikka, J.: 1955b, \u2018Notes on Quantification Theory\u2019, Societas Scientiarum Fennica, Commentationes Physico-Mathematicae 17(12)."},{"key":"5514_CR13","first-page":"49","volume":"20","author":"J. Hintikka","year":"1957a","journal-title":"Ajatus"},{"key":"5514_CR14","unstructured":"Hintikka J.: 1957b, \u2018Quantifiers in Deontic Logic\u2019, Societas Scientiarum Fennica, Commentationes Humanarum Litterarum 23(4)."},{"key":"5514_CR15","doi-asserted-by":"crossref","first-page":"305","DOI":"10.2307\/2271131","volume":"34","author":"J. Hintikka","year":"1969","journal-title":"Journal of Symbolic Logic"},{"key":"5514_CR16","first-page":"79","volume":"54","author":"B. J\u00f3nsson","year":"1948","journal-title":"Bulletin of the American Mathematical Society"},{"key":"5514_CR17","doi-asserted-by":"crossref","first-page":"891","DOI":"10.2307\/2372123","volume":"73","author":"B. J\u00f3nsson","year":"1951","journal-title":"American Journal of Mathematics"},{"key":"5514_CR18","doi-asserted-by":"crossref","first-page":"127","DOI":"10.2307\/2372074","volume":"74","author":"B. J\u00f3nsson","year":"1952","journal-title":"American Journal of Mathematics"},{"key":"5514_CR19","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1111\/j.1755-2567.1955.tb00250.x","volume":"21","author":"S. Kanger","year":"1955","journal-title":"Theoria"},{"key":"5514_CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1111\/j.1755-2567.1957.tb00263.x","volume":"23","author":"S. Kanger","year":"1957a","journal-title":"Theoria"},{"key":"5514_CR21","unstructured":"Kanger, S.: 1957b, \u2018New Foundations for Ethical Theory\u2019, typescript, University of Stockholm, 1957. Reprinted with minor alterations in Hilpinen (1970)."},{"key":"5514_CR22","unstructured":"Kanger, S.: 1957c, Provability in Logic, Almqvist and Wiksell, Stockholm."},{"key":"5514_CR23","doi-asserted-by":"crossref","unstructured":"Kaplan, D.: 1966, Review of Kripke (1963a), Journal of Symbolic Logic 31,120\u2013122","DOI":"10.2307\/2270649"},{"key":"5514_CR24","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2964568","volume":"24","author":"S. Kripke","year":"1959a","journal-title":"Journal of Symbolic Logic"},{"key":"5514_CR25","doi-asserted-by":"crossref","first-page":"323","DOI":"10.2307\/2964568","volume":"24","author":"S. Kripke","year":"1959b","journal-title":"Journal of Symbolic Logic"},{"key":"5514_CR26","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1002\/malq.19630090502","volume":"9","author":"S. Kripke","year":"1963a","journal-title":"Zeitschr. f. math. Logik und Grundlagen d. Math."},{"key":"5514_CR27","first-page":"83","volume":"16","author":"S. Kripke","year":"1963b","journal-title":"Acta Philosophica Fennica"},{"key":"5514_CR28","unstructured":"Kripke, S.: 1965, \u2018Semantical Analysis of Modal Logic II: Non-Normal Modal Propositional Calculi\u2019, In J. Addison, L. Henkin, and A. Tarski (eds.), The Theory of Models, North-Holland, Amsterdam."},{"key":"5514_CR29","unstructured":"Lemmon, E.J., C. Meredith, D. Meredith, A. Prior, and I. Thomas: 1957, \u2018Calculi of Pure Strict Implication\u2019, mimeograph, University of Canterbury Philosophy Department, 1957. Reprinted in Davis et al. (1969)."},{"key":"5514_CR30","volume-title":"Structure and Meaning: Essays in Honor of Henry M. Sheffer","author":"H. Leonard","year":"1951"},{"key":"5514_CR31","doi-asserted-by":"crossref","unstructured":"Lindstr\u00f6m, S.: 1998, \u2018An Exposition and Development of Kanger\u2019s Early Semantics for Modal Logic\u2019, in P. Humphreys and J. Fetzer (eds.), The New Theory of Reference, Kluwer, Amsterdam.","DOI":"10.1007\/978-94-011-5250-1_9"},{"key":"5514_CR32","unstructured":"\u0141ukasiewicz, J.: 1920, \u2018On Three-Valued Logic\u2019, Ruch Filozoficzny 5, 170\u2013171. English translation in Borkowski 1970."},{"key":"5514_CR33","unstructured":"\u0141ukasiewicz, J.: 1930, \u2018Philosophical Remarks on Many-Valued Systems\u2019, in Borkowski 1970."},{"key":"5514_CR34","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2269159","volume":"11","author":"R.B. Marcus","year":"1946","journal-title":"Journal of Symbolic Logic"},{"key":"5514_CR35","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1080\/00201746208601353","volume":"5","author":"R.B. Marcus","year":"1962","journal-title":"Inquiry"},{"key":"5514_CR36","doi-asserted-by":"crossref","first-page":"141","DOI":"10.2307\/1969080","volume":"45","author":"J. McKinsey","year":"1944","journal-title":"Annals of Mathematics"},{"key":"5514_CR37","doi-asserted-by":"crossref","first-page":"122","DOI":"10.2307\/1969038","volume":"47","author":"J. McKinsey","year":"1946","journal-title":"Annals of Mathematics"},{"key":"5514_CR38","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2268135","volume":"13","author":"J. McKinsey","year":"1948","journal-title":"Journal of Symbolic Logic"},{"key":"5514_CR39","unstructured":"Meredith, C.: 1951, \u2018On an Extended System of the Propositional Calculus\u2019, Proceedings of the Royal Irish Academy 54 (Sect. A), 37\u201347"},{"key":"5514_CR40","first-page":"169","volume":"1","author":"C. Meredith","year":"1953a","journal-title":"Journal of Computing Systems"},{"key":"5514_CR41","first-page":"155","volume":"1","author":"C. Meredith","year":"1953b","journal-title":"Journal of Computing Systems"},{"key":"5514_CR42","doi-asserted-by":"crossref","unstructured":"Meredith, C. and A. Prior: 1956, \u2018Interpretations of Different Modal Logics in the \u201cProperty Calculus\u201d\u00a0\u2019, mimeograph, University of Canterbury Philosophy Department, reprinted in Copeland 1996.","DOI":"10.1093\/oso\/9780198240600.003.0007"},{"key":"5514_CR43","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1305\/ndjfl\/1093958149","volume":"6","author":"C. Meredith","year":"1965","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"5514_CR44","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1305\/ndjfl\/1093888116","volume":"18","author":"D. Meredith","year":"1977","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"5514_CR45","unstructured":"Montague, R.: 1960, \u2018Logical Necessity, Physical Necessity, Ethics, and Quantifiers\u2019, Inquiry 3, 259\u2013269, reprinted in Montague (1974)."},{"key":"5514_CR46","volume-title":"Formal Philosophy: Selected Papers of Richard Montague","author":"R. Montague","year":"1974"},{"key":"5514_CR47","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/BF01128202","volume":"39","author":"P. \u00d8hrstr\u00f8m","year":"1993","journal-title":"Erkenntnis"},{"key":"5514_CR48","doi-asserted-by":"crossref","first-page":"317","DOI":"10.2307\/2217099","volume":"3","author":"A. Prior","year":"1953","journal-title":"Philosophical Quarterly"},{"key":"5514_CR49","volume-title":"Formal Logic","author":"A. Prior","year":"1955"},{"key":"5514_CR50","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1080\/00048405685200181","volume":"34","author":"A. Prior","year":"1956a","journal-title":"Australasian Journal of Philosophy"},{"key":"5514_CR51","doi-asserted-by":"crossref","first-page":"60","DOI":"10.2307\/2268488","volume":"21","author":"A. Prior","year":"1956b","journal-title":"Journal of Symbolic Logic"},{"key":"5514_CR52","volume-title":"Time and Modality","author":"A. Prior","year":"1957"},{"key":"5514_CR53","doi-asserted-by":"crossref","unstructured":"Prior, A.: 1958, \u2018The Syntax of Time-Distinctions\u2019, Franciscan Studies 18,105\u2013120.","DOI":"10.1353\/frc.1958.0008"},{"key":"5514_CR54","unstructured":"Prior, A.: 1962a, \u2018Logic in England Today\u2019, typescript, translated into Polish and published as Prior 1962d."},{"key":"5514_CR55","doi-asserted-by":"crossref","first-page":"36","DOI":"10.2307\/2216837","volume":"12","author":"A. Prior","year":"1962b","journal-title":"Philosophical Quarterly"},{"key":"5514_CR56","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/BF02317267","volume":"13","author":"A. Prior","year":"1962c","journal-title":"Studia Logica"},{"key":"5514_CR57","first-page":"251","volume":"21","author":"A. Prior","year":"1962d","journal-title":"Ruch Filozoficzny"},{"key":"5514_CR58","unstructured":"Prior, A.: 1967a, \u2018Logic, Modal\u2019, in P. Edwards (ed.), The Encyclopedia of Philosophy, Vol. 4, Collier-Macmillan, London."},{"key":"5514_CR59","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001","volume-title":"Past, Present and Future","author":"A. Prior","year":"1967b"},{"key":"5514_CR60","unstructured":"Prior, A.: 2003, Papers on Time and Tense, Oxford University Press, Oxford (second revised edition, edited by P. Hasle, P. \u00d8hrstr\u00f8m, T. Bra\u00fcner, and B. J. Copeland)."},{"key":"5514_CR61","unstructured":"Segerberg, K. (ed.): 1977, An Introduction to Modal Logic: The \u2018Lemmon Notes\u2019. Monograph No. 11, American Philosophical Quarterly."},{"key":"5514_CR62","unstructured":"Smiley, T.: 1955, \u2018Natural Systems of Logic\u2019, dissertation submitted towards the Degree of Doctor of Philosophy in the University of Cambridge."},{"key":"5514_CR63","unstructured":"Smiley, T.: 1957, \u2018Modal Logic\u2019, lecture handout, Department of Philosophy, University of Cambridge."},{"key":"5514_CR64","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/BF01708856","volume":"40","author":"M. Wajsberg","year":"1933","journal-title":"Monatshefte f\u00fcr Mathematik und Physik"},{"key":"5514_CR65","volume-title":"Tractatus Logico-Philosophicus","author":"L. Wittgenstein","year":"1922"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-005-5514-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-005-5514-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-005-5514-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,5]],"date-time":"2024-02-05T16:15:28Z","timestamp":1707149728000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-005-5514-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,6]]},"references-count":65,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2006,6]]}},"alternative-id":["5514"],"URL":"https:\/\/doi.org\/10.1007\/s11229-005-5514-9","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,6]]}}}