{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T19:06:30Z","timestamp":1766084790765,"version":"3.48.0"},"reference-count":52,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T00:00:00Z","timestamp":1764547200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,12,10]],"date-time":"2025-12-10T00:00:00Z","timestamp":1765324800000},"content-version":"vor","delay-in-days":9,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/100007797","name":"University of Helsinki","doi-asserted-by":"crossref","id":[{"id":"10.13039\/100007797","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2025,12]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>A variety of modal logics were developed in Helsinki during the 50s. Alethic, epistemic, and deontic systems with quantified extensions were studied both from syntactic and semantic viewpoints in a series of publications by Georg Henrik von Wright and his student Jaakko Hintikka. This paper surveys and critically assesses these contributions.<\/jats:p>","DOI":"10.1007\/s11787-025-00399-x","type":"journal-article","created":{"date-parts":[[2025,12,10]],"date-time":"2025-12-10T17:10:54Z","timestamp":1765386654000},"page":"517-551","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["von Wright and Hintikka on Modal Logic 1951\u20131962"],"prefix":"10.1007","volume":"19","author":[{"given":"Tuukka","family":"Tanninen","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,12,10]]},"reference":[{"key":"399_CR1","unstructured":"Acta Philos. Fenn. 16 (1963)"},{"key":"399_CR2","doi-asserted-by":"publisher","first-page":"201","DOI":"10.2307\/2268619","volume":"19","author":"AR Anderson","year":"1954","unstructured":"Anderson, A.R.: Improved Decision Procedures for Lewis\u2019s Calculus S4 and von Wright\u2019s Calculus $$M$$. J. Symb. Log. 19, 201\u2013214 (1954)","journal-title":"J. Symb. Log."},{"key":"399_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2269159","volume":"11","author":"R Barcan Marcus","year":"1946","unstructured":"Barcan Marcus, R.: A Functional Calculus of First Order Based on Strict Implication. J. Symb. Log. 11, 1\u201316 (1946)","journal-title":"J. Symb. Log."},{"key":"399_CR4","volume-title":"Saul Kripke","author":"J Burgess","year":"2011","unstructured":"Burgess, J.: Kripke Models. In: Berger, A. (ed.) Saul Kripke. Cambridge University Press, Cambridge (2011)"},{"key":"399_CR5","doi-asserted-by":"publisher","first-page":"33","DOI":"10.2307\/2268610","volume":"11","author":"R Carnap","year":"1946","unstructured":"Carnap, R.: Modalities and Quantification. J. Symb. Log. 11, 33\u201364 (1946)","journal-title":"J. Symb. Log."},{"key":"399_CR6","volume-title":"Meaning and Necessity","author":"R Carnap","year":"1947","unstructured":"Carnap, R.: Meaning and Necessity. University of Chicago Press, Chicago (1947)"},{"key":"399_CR7","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1023\/A:1015273407895","volume":"31","author":"BJ Copeland","year":"2002","unstructured":"Copeland, B.J.: The Genesis of Possible World Semantics. J. Phil. Log. 31, 99\u2013137 (2002)","journal-title":"J. Phil. Log."},{"issue":"3","key":"399_CR8","first-page":"373","volume":"150","author":"BJ Copeland","year":"2006","unstructured":"Copeland, B.J.: Meredith, Prior, and the History of Possible World Semantics. Synth\u00e9se 150(3), 373\u2013397 (2006)","journal-title":"Synth\u00e9se"},{"key":"399_CR9","unstructured":"Crossley, J.N., Dummett, M. (eds.): Formal Systems and Recursive Functions. North-Holland, Amsterdam (1964)"},{"key":"399_CR10","volume-title":"The Philosophy of Georg Henrik von Wright (The Library of Living Philosophers Volume XIX)","author":"D F\u00f8llesdal","year":"1989","unstructured":"F\u00f8llesdal, D.: von Wright\u2019s Modal Logic. In: Schilpp, P.A., Hahn, L.E. (eds.) The Philosophy of Georg Henrik von Wright (The Library of Living Philosophers Volume XIX). Open Court, La Salle (1989)"},{"key":"399_CR11","unstructured":"Hintikka, J.: Distributiivisista normaalimuodoista predikaatti-kalkyyliss\u00e4, Master\u2019s Thesis, University of Helsinki (1952), open access online at: https:\/\/helda.helsinki.fi\/handle\/10138\/351614"},{"key":"399_CR12","unstructured":"Hintikka, J.: Distributive Normal Forms in the Calculus of Predicates. Acta Philos. Fenn. 6 (1953), reprinted as: Distributive Normal Forms in First-order Logic. In: [9]"},{"key":"399_CR13","unstructured":"Hintikka, J.: Two Papers on Symbolic Logic. Acta Philos. Fenn. 8 (1955)"},{"issue":"4","key":"399_CR14","first-page":"1","volume":"23","author":"J Hintikka","year":"1957","unstructured":"Hintikka, J.: Quantifiers in Deontic Logic. Soc. Scient. Fenn. Comment. Hum. Litt. 23(4), 1\u201323 (1957)","journal-title":"Soc. Scient. Fenn. Comment. Hum. Litt."},{"key":"399_CR15","first-page":"49","volume":"20","author":"J Hintikka","year":"1957","unstructured":"Hintikka, J.: Modality as Referential Multiplicity. Ajatus 20, 49\u201364 (1957)","journal-title":"Ajatus"},{"key":"399_CR16","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1111\/j.1755-2567.1961.tb00020.x","volume":"27","author":"J Hintikka","year":"1961","unstructured":"Hintikka, J.: Modality and Quantification. Theoria 27, 119\u2013128 (1961)","journal-title":"Theoria"},{"key":"399_CR17","volume-title":"Knowledge and Belief - An Introduction to the Logic of the Two Notions","author":"J Hintikka","year":"1962","unstructured":"Hintikka, J.: Knowledge and Belief - An Introduction to the Logic of the Two Notions. Cornell University Press, Ithaca (1962)"},{"key":"399_CR18","first-page":"65","volume":"16","author":"J Hintikka","year":"1963","unstructured":"Hintikka, J.: Modes of Modality. Acta Philos. Fenn. 16, 65\u201382 (1963)","journal-title":"Acta Philos. Fenn."},{"key":"399_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1111\/j.1755-2567.1966.tb00585.x","volume":"32","author":"J Hintikka","year":"1966","unstructured":"Hintikka, J.: Knowing Oneself and Other Problems in Epistemic Logic. Theoria 32, 1\u201313 (1966)","journal-title":"Theoria"},{"key":"399_CR20","doi-asserted-by":"publisher","first-page":"55","DOI":"10.5840\/monist19665015","volume":"50","author":"J Hintikka","year":"1966","unstructured":"Hintikka, J.: Studies in the Logic of Existence and Necessity: Existence. Monist 50, 55\u201376 (1966)","journal-title":"Monist"},{"key":"399_CR21","first-page":"138","volume":"33","author":"J Hintikka","year":"1967","unstructured":"Hintikka, J.: Existence and Identity in Epistemic Contexts. Theoria 33, 138\u2013147 (1967)","journal-title":"Theoria"},{"key":"399_CR22","doi-asserted-by":"publisher","first-page":"33","DOI":"10.2307\/2214711","volume":"1","author":"J Hintikka","year":"1967","unstructured":"Hintikka, J.: Individuals, Possible Worlds, and Epistemic Logic. No\u00fbs 1, 33\u201362 (1967)","journal-title":"No\u00fbs"},{"key":"399_CR23","volume-title":"Models for Modalities. Selected Essays","author":"J Hintikka","year":"1969","unstructured":"Hintikka, J.: Models for Modalities. Selected Essays. Reidel, Dordrecht (1969)"},{"key":"399_CR24","volume-title":"Deontic Logic: Introduction and Systematic Readings","author":"J Hintikka","year":"1971","unstructured":"Hintikka, J.: Some Main Problems of Deontic Logic. In: Hilpinen, R. (ed.) Deontic Logic: Introduction and Systematic Readings. Reidel, Dordrecht (1971)"},{"key":"399_CR25","unstructured":"Hintikka, J.: Is Alethic Modal Logic Possible? In: Niiniluoto I. & Saarinen E. (eds.) Intensional Logic: Theory and Applications (Acta Philos. Fenn. 35) (1982)"},{"issue":"2","key":"399_CR26","first-page":"245","volume":"104","author":"J Hintikka","year":"1995","unstructured":"Hintikka, J., Sandu, G.: The Fallacies of the New Theory of Reference. Synth\u00e9se 104(2), 245\u2013283 (1995)","journal-title":"Synth\u00e9se"},{"key":"399_CR27","volume-title":"Formal Logic: Its Scope and Limits","author":"RC Jeffrey","year":"1967","unstructured":"Jeffrey, R.C.: Formal Logic: Its Scope and Limits. McGraw-Hill, New York (1967)"},{"key":"399_CR28","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2964568","volume":"24","author":"S Kripke","year":"1959","unstructured":"Kripke, S.: A Completeness Theorem in Modal Logic. J. Symb. Log. 24, 1\u201314 (1959)","journal-title":"J. Symb. Log."},{"key":"399_CR29","first-page":"83","volume":"16","author":"S Kripke","year":"1963","unstructured":"Kripke, S.: Semantical Considerations on Modal Logic. Acta Philos. Fenn. 16, 83\u201394 (1963)","journal-title":"Acta Philos. Fenn."},{"key":"399_CR30","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1002\/malq.19630090502","volume":"9","author":"S Kripke","year":"1963","unstructured":"Kripke, S.: Semantical Analysis of Modal Logic I, Normal Propositional Calculi. Z. matem. Log. Grundl. Math. 9, 67\u201396 (1963)","journal-title":"Z. matem. Log. Grundl. Math."},{"key":"399_CR31","volume-title":"Handbook of Modal Logic","author":"S Lindstr\u00f6m","year":"2007","unstructured":"Lindstr\u00f6m, S., Segerberg, K.: Modal Logic and Philosophy. In: Blackburn, P., et al. (eds.) Handbook of Modal Logic. Elsevier, Amsterdam (2007)"},{"key":"399_CR32","volume-title":"Symbolic Logic","author":"CI Lewis","year":"1932","unstructured":"Lewis, C.I., Langford, C.H.: Symbolic Logic. Century, London (1932)"},{"key":"399_CR33","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1016\/S1385-7258(52)50064-7","volume":"14","author":"J Ridder","year":"1952","unstructured":"Ridder, J.: \u00dcber modale Aussagenlogiken und ihren Zusammenhang mit Strukturen II. Ind. Math. 14, 459\u2013467 (1952)","journal-title":"Ind. Math."},{"key":"399_CR34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-86718-7","volume-title":"First-Order Logic","author":"RM Smullyan","year":"1968","unstructured":"Smullyan, R.M.: First-Order Logic. Springer-Verlag, New York (1968)"},{"key":"399_CR35","first-page":"171","volume":"1","author":"B Soboc\u00ednski","year":"1953","unstructured":"Soboc\u00ednski, B.: Note on a Modal System of Feys-von Wright. J. Comp. Syst. 1, 171\u2013178 (1953)","journal-title":"J. Comp. Syst."},{"issue":"104","key":"399_CR36","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1017\/S0031819100026176","volume":"28","author":"P Strawson","year":"1953","unstructured":"Strawson, P.: Reviewed Work: An Essay in Modal Logic by Georg H. von Wright. Philosophy 28(104), 76\u201379 (1953)","journal-title":"Philosophy"},{"issue":"2","key":"399_CR37","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/s11787-018-0199-2","volume":"13","author":"T Tanninen","year":"2019","unstructured":"Tanninen, T.: Varieties of Rigidity. Log. Univers. 13(2), 219\u2013240 (2019)","journal-title":"Log. Univers."},{"key":"399_CR38","unstructured":"Wittgenstein, L.: Notebooks 1914\u20131916. $$2^{\\rm nd}$$ edition, ed. by von Wright, G. H. & Anscombe, G. E. M., Blackwell, Oxford (1961)"},{"key":"399_CR39","volume-title":"Tractatus Logico-Philosophicus","author":"L Wittgenstein","year":"1922","unstructured":"Wittgenstein, L.: Tractatus Logico-Philosophicus. Routledge and Kegan Paul, London (1922)"},{"key":"399_CR40","unstructured":"von Wright, G. H.: On the Idea of Logical Truth I. Soc. Scient. Fenn. Comment. Phys. Math, Helsinki 14(4) (1948)"},{"key":"399_CR41","volume-title":"An Essay in Modal Logic","author":"GH von Wright","year":"1951","unstructured":"von Wright, G.H.: An Essay in Modal Logic. North-Holland Publishing Company, Amsterdam (1951)"},{"key":"399_CR42","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/mind\/LX.237.1","volume":"60","author":"GH von Wright","year":"1951","unstructured":"von Wright, G.H.: Deontic Logic. Mind 60, 1\u201315 (1951)","journal-title":"Mind"},{"key":"399_CR43","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1093\/mind\/LXI.242.165","volume":"61","author":"GH von Wright","year":"1952","unstructured":"von Wright, G.H.: Interpretations of Modal Logic. Mind 61, 165\u2013177 (1952)","journal-title":"Mind"},{"key":"399_CR44","doi-asserted-by":"crossref","unstructured":"von Wright, G. H.: A New System of Modal Logic. Proceedings of the $$11^{{\\rm th}}$$ International Congress of Philosophy 5, 59 \u2013 63 (1953)","DOI":"10.5840\/wcp1119535129"},{"key":"399_CR45","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1093\/mind\/65.1.507","volume":"65","author":"GH von Wright","year":"1956","unstructured":"von Wright, G.H.: A Note on Deontic Logic and Derived Obligation. Mind 65, 507\u2013509 (1956)","journal-title":"Mind"},{"key":"399_CR46","volume-title":"The Logic of Preference: An Essay","author":"GH von Wright","year":"1963","unstructured":"von Wright, G.H.: The Logic of Preference: An Essay. University Press, Edinburgh (1963)"},{"key":"399_CR47","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1163\/24689300-00101017","volume":"1","author":"GH von Wright","year":"1964","unstructured":"von Wright, G.H.: A New System of Deontic Logic. Dan. Yearb. Philos. 1, 255\u2013276 (1964)","journal-title":"Dan. Yearb. Philos."},{"key":"399_CR48","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1163\/24689300-00201008","volume":"2","author":"GH von Wright","year":"1965","unstructured":"von Wright, G.H.: A Correction to a New System of Deontic Logic. Dan. Yearb. Philos. 2, 103\u2013107 (1965)","journal-title":"Dan. Yearb. Philos."},{"key":"399_CR49","first-page":"136","volume":"4","author":"GH von Wright","year":"1967","unstructured":"von Wright, G.H.: Deontic Logics. Amer. Philos. Quart. 4, 136\u2013143 (1967)","journal-title":"Amer. Philos. Quart."},{"key":"399_CR50","volume-title":"An Essay in Deontic Logic and the General Theory of Action","author":"GH von Wright","year":"1968","unstructured":"von Wright, G.H.: An Essay in Deontic Logic and the General Theory of Action. North-Holland Publishing Company, Amsterdam (1968)"},{"key":"399_CR51","volume-title":"Truth, Knowledge, and Modality","author":"GH von Wright","year":"1984","unstructured":"von Wright, G.H.: Truth, Knowledge, and Modality. Blackwell, Oxford (1984)"},{"key":"399_CR52","volume-title":"The Philosophy of Georg Henrik von Wright (The Library of Living Philosophers Volume XIX)","author":"GH von Wright","year":"1989","unstructured":"von Wright, G.H.: Intellectual Autobiography. In: Schilpp, P.A., Hahn, L.E. (eds.) The Philosophy of Georg Henrik von Wright (The Library of Living Philosophers Volume XIX). Open Court, La Salle (1989)"}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-025-00399-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11787-025-00399-x","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-025-00399-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T15:04:33Z","timestamp":1766070273000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11787-025-00399-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12]]},"references-count":52,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2025,12]]}},"alternative-id":["399"],"URL":"https:\/\/doi.org\/10.1007\/s11787-025-00399-x","relation":{},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"type":"print","value":"1661-8297"},{"type":"electronic","value":"1661-8300"}],"subject":[],"published":{"date-parts":[[2025,12]]},"assertion":[{"value":"15 August 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 October 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 December 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}