Possible worlds semantics

URI: https://gptkb.org/entity/Possible_worlds_semantics

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb: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
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:Counterfactual_Theory gptkb:Natural_Language_Semantics
gptkbp:bfsLayer	8
https://www.w3.org/2000/01/rdf-schema#label	Possible worlds semantics