The genesis of possible worlds semantics

DOI10.1023/A:1015273407895zbMath1006.03003MaRDI 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 logic; possible worlds semantics; history of logic

Mathematics Subject Classification ID

01A60: History of mathematics in the 20th century

03B45: Modal logic (including the logic of norms)

03-03: History of mathematical logic and foundations

Related Items

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

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