The genesis of possible worlds semantics

DOI10.1023/A:1015273407895zbMath1006.03003OpenAlexW2057502281MaRDI QIDQ1610613

B. Jack Copeland

Publication date: 20 August 2002

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1015273407895

zbMATH Keywords

modal logicpossible worlds semanticshistory of logic

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Modal logic (including the logic of norms) (03B45) History of mathematical logic and foundations (03-03)

Related Items

Time and determinism, Modalities Without Worlds, Meredith, Prior, and the history of possible worlds semantics, Separation logics and modalities: a survey, A letter on the present state of affairs. Prior, indeterminism and relativity 40 years later, Mechanising Gödel-Löb provability logic in HOL light, Possible worlds in use, Possible worlds in ``The craft of formal logic, Prior, translational semantics, and the Barcan formula, The genesis of hi-worlds: towards a principle-based possible world semantics, Modalities in Sociological Arguments, Peirce's contributions to possible-worlds semantics, A proof-theoretic view of necessity, Possible-worlds semantics for modal notions conceived as predicates, C. I. Lewis on Possible Worlds, Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras, Validity and necessity

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the primary and secondary semantics of logical necessity
• In memoriam Carew Arthur Meredith (1904-1976)
• Modal logic with functorial variables and a contingent constant
• An essay in modal logic
• The algebra of topology
• On closed elements in closure algebras
• A note on partial postulate sets for propositional logic
• Modality and quantification in S5
• The Morning Star Paradox
• A completeness theorem in modal logic
• Ein erweiterter Klassenkalkül
• On McKinsey's syntactical characterizations of systems of modal logic
• A Cancellation algorithm for elementary logic¹
• Stratified Metric Tense Logic
• Sequence spaces and interpolation problems for analytic functions
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Some theorems about the sentential calculi of Lewis and Heyting
• Extensions of the Lewis system S5
• Boolean Algebras with Operators. Part I
• Modalities and Quantification
• A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology
• On the syntactical construction of systems of modal logic