The genesis of possible worlds semantics
From MaRDI portal
Publication:1610613
DOI10.1023/A:1015273407895zbMath1006.03003MaRDI QIDQ1610613
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
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 logic1
- 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