Possible worlds semantics

GPTKB entity

Statements (32)
Predicate Object
gptkbp:instanceOf formal semantics
gptkbp:appliesTo propositional attitudes
conditional statements
modal operators
gptkbp:basisFor gptkb:Kripke_semantics
intensional logic
Lewisian modal realism
gptkbp:contrastsWith actualist semantics
gptkbp:describes meaning of modal expressions
gptkbp:developedBy gptkb:David_Lewis
gptkb:Saul_Kripke
gptkbp:field gptkb:logic
linguistics
philosophy of language
gptkbp:hasConcept accessibility relation
possible world
truth in a world
https://www.w3.org/2000/01/rdf-schema#label Possible worlds semantics
gptkbp:influencedBy Leibniz's possible worlds
gptkbp:introducedIn 1960s
gptkbp:notableFigure gptkb:David_Lewis
gptkb:Ruth_Barcan_Marcus
gptkb:Saul_Kripke
gptkbp:notableWork gptkb:Counterfactuals
gptkb:Naming_and_Necessity
gptkbp:relatedTo gptkb:logic
intensional logic
gptkbp:usedFor analyzing necessity and possibility
interpreting counterfactuals
interpreting propositional attitudes
gptkbp:bfsParent gptkb:Modal_Realism
gptkbp:bfsLayer 5