The Genesis of Possible Worlds Semantics

This article traces the development of possible worlds semantics through the work of: Wittgenstein, 1913–1921; Feys, 1924; McKinsey, 1945; Carnap, 1945–1947; McKinsey, Tarski and Jónsson, 1947–1952; von Wright, 1951; Becker, 1952; Prior, 1953–1954; Montague, 1955; Meredith and Prior, 1956; Geach, 1960; Smiley, 1955–1957; Kanger, 1957; Hintikka, 1957; Guillaume, 1958; Binkley, 1958; Bayart, 1958–1959; Drake, 1959–1961; Kripke, 1958–1965.

[1]  Max J. Cresswell,et al.  A New Introduction to Modal Logic , 1998 .

[2]  R. L. Goodstein,et al.  Provability in logic , 1959 .

[3]  James K. Feibleman,et al.  Of Modal Logics , 1979 .

[4]  N. Campbell.  Formal Logic. , 1931, Nature.

[5]  W. Ackermann,et al.  Grundzuge der Theoretischen Logik , 1928 .

[6]  M. Wajsberg,et al.  Ein erweiterter Klassenkalkül , 1933 .

[7]  Jan Łukasiewicz,et al.  A System of Modal Logic , 1953 .

[8]  L. Wittgenstein.  Tractatus Logico-Philosophicus , 2021, Nordic Wittgenstein Review.

[9]  Alonzo Church,et al.  Review: Jan Lukasiewicz, On Variable Functors of Propositional Arguments; C. A. Meredith, On an Extended System of the Propositional Calculus , 1951 .

[10]  Charles S. Peirce,et al.  Collected Papers of Charles Sanders Peirce: Vol. II, Elements of Logic , 1934 .

[11]  A. Prior.  Papers On Time And Tense , 1968 .

[12]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

[13]  C. D. Burns.  Philosophy in the University of Cambridge , 1923, The International Journal of Ethics.

[14]  Rudolf Carnap.  Modalities and Quantification , 1946, J. Symb. Log..

[15]  John Nolt,et al.  What Are Possible Worlds , 1986 .

[16]  Ghita Holmström-Hintikka,et al.  A Note on Quantification and Modalities , 2001 .

[17]  A. N. Prior,et al.  Modality and quantification in S5 , 1956, Journal of Symbolic Logic (JSL).

[18]  A. Tarski,et al.  Boolean Algebras with Operators , 1952 .

[19]  F. R. Drake.  On McKinsey's Syntatical Characterizations of Systems of Modal Logic , 1962, J. Symb. Log..

[20]  Alfred Tarski,et al.  Some theorems about the sentential calculi of Lewis and Heyting , 1948, The Journal of Symbolic Logic.

[21]  Arthur N. Prior,et al.  Three-Valued Logic and Future Contingents , 1953 .

[22]  O. Becker.  Untersuchungen über den Modalkalkül , 1952 .

[23]  Schiller Joe Scroggs.  Extensions of the Lewis System S5 , 1951, J. Symb. Log..

[24]  Christopher Menzel,et al.  Logic and Reality: Essays on the Legacy of Arthur Prior , 2000 .

[25]  R. Montague.  Formal philosophy; selected papers of Richard Montague , 1974 .

[26]  Ghita Holmström-Hintikka,et al.  A Note on Partial Postulate Sets for Propositional Logic , 2001 .

[27]  Saul Kripke,et al.  A completeness theorem in modal logic , 1959, Journal of Symbolic Logic.

[28]  D. Paul Snyder,et al.  Modal Logic and Its Applications , 1971 .

[29]  Jaakko Hintikka,et al.  Time And Modality , 1958 .

[30]  Sten Lindström,et al.  An Exposition and Development of Kanger’s Early Semantics for Modal Logic , 1998 .

[31]  S. Kanger.  New Foundations for Ethical Theory , 1970 .

[32]  J. C. C. McKinsey.  On the Syntactical Construction of Systems of Modal Logic , 1945, J. Symb. Log..

[33]  A. Montefiore.  NORM AND ACTION , 1964 .

[34]  David Meredith,et al.  In memoriam: Carew Arthur Meredith (1904-1976) , 1977, Notre Dame J. Formal Log..

[35]  R. Carnap.  Meaning and necessity : a study in semantics and modal logic , 1948 .

[36]  A Bayart.  Correction de la logique modale du permier et du second ordre S5 , 1958 .

[37]  A. Tarski,et al.  On Closed Elements in Closure Algebras , 1946 .

[38]  Richard Montague.  Logical necessity, physical necessity, ethics, and quantifiers , 1960 .

[39]  Nino B. Cocchiarella,et al.  On the primary and secondary semantics of logical necessity , 1975, J. Philos. Log..

[40]  A. Prior.  Tense-logic and the continuity of time , 1962 .

[41]  A. Tarski,et al.  Boolean Algebras with Operators. Part I , 1951 .

[42]  Dagfinn Føllesdal.  Stig kanger in memoriam , 1995 .

[43]  Saul A. Kripke,et al.  Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi , 1963 .

[44]  Paul Weiss,et al.  Collected Papers of Charles Sanders Pierce. Vol. III. Exact Logic , 1934, Philosophy.

[45]  R. M. Hare,et al.  Norm and Action: A Logical Enquiry. , 1965 .

[46]  R. L. Goodstein,et al.  An Essay in Modal Logic , 1953, The Mathematical Gazette.

[47]  J. C. C. McKinsey,et al.  A Solution of the Decision Problem for the Lewis systems S2 and S4, with an Application to Topology , 1941, J. Symb. Log..

[48]  Jaakko Hintikka.  Review: Stig Kanger, The Morning Star Paradox; Stig Kanger, A Note on Quantification and Modalities , 1969 .

[49]  Arthur N. Prior,et al.  The Syntax of Time-Distinctions , 2015 .

[50]  Krister Segerberg,et al.  An introduction to modal logic : the Lemmon notes , 1977 .

[51]  David Kaplan.  Saul A. Kripke. Semantical analysis of modal logic I. Normal modal propositional calculi. Zeitschrift für mathematische Logik und Grundlagen der Mathematik , vol. 9 (1963), pp. 67–96. , 1966 .

[52]  R. Carnap.  Logical Syntax of Language , 1937 .

[53]  Ludwig Wittgenstein,et al.  Notebooks, 1914-1916 , 1961 .

[54]  A. Tarski,et al.  The Algebra of Topology , 1944 .

[55]  David Kaplan.  Review: Saul A. Kripke, Semantical Analysis of Modal Logic I. Normal Modal Propositional Calculi , 1966 .

[56]  J. Etchemendy.  The Concept of Logical Consequence , 1991 .

[57]  A. N. Prior,et al.  Modal logic with functorial variables and a contingent constant , 1965, Notre Dame J. Formal Log..

[58]  Jaakko Hintikka.  Kanger Stig. The Morning Star Paradox. Theoria (Lund), vol. 23 (1957), pp. 1–11. Kanger Stig. A note on quantification and modalities. Theoria (Lund), vol. 23 (1957), pp. 133–134. , 1969 .

[59]  W. Ackermann,et al.  Grundzüge der theoretischen Logik , 1928 .