The genesis of possible worlds semantics (Q1610613): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Q5809139 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Cancellation algorithm for elementary logic<sup>1</sup> / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modalities and Quantification / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5791196 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the primary and secondary semantics of logical necessity / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4388803 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On McKinsey's syntactical characterizations of systems of modal logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4001483 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3249757 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3227561 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5604443 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Boolean Algebras with Operators. Part I / rank
 
Normal rank
Property / cites work
 
Property / cites work: A note on partial postulate sets for propositional logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3241192 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Morning Star Paradox / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3255346 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A completeness theorem in modal logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5339289 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5546768 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5825230 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5804174 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5821423 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the syntactical construction of systems of modal logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: The algebra of topology / rank
 
Normal rank
Property / cites work
 
Property / cites work: On closed elements in closure algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some theorems about the sentential calculi of Lewis and Heyting / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5804175 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4218018 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modal logic with functorial variables and a contingent constant / rank
 
Normal rank
Property / cites work
 
Property / cites work: In memoriam Carew Arthur Meredith (1904-1976) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3228599 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modality and quantification in S5 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3246315 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5556395 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Stratified Metric Tense Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Extensions of the Lewis system S5 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sequence spaces and interpolation problems for analytic functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Ein erweiterter Klassenkalkül / rank
 
Normal rank
Property / cites work
 
Property / cites work: An essay in modal logic / rank
 
Normal rank

Revision as of 15:05, 4 June 2024

scientific article
Language Label Description Also known as
English
The genesis of possible worlds semantics
scientific article

    Statements

    The genesis of possible worlds semantics (English)
    0 references
    0 references
    20 August 2002
    0 references
    In the article the author gives an interesting survey of the development of possible worlds semantics starting from the works of Wittgenstein (1913-1921), through the contribution of such authors as Feys, McKinsey, Carnap, von Wright and others, up to Bayart, Drake and -- of course -- Kripke (1958-1965). The early prehistory of this theory (in works of Duns Scotus and Ockham and papers of Wallis or Leibniz) is only mentioned.
    0 references
    0 references
    0 references
    0 references
    0 references
    history of logic
    0 references
    modal logic
    0 references
    possible worlds semantics
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references