possible worlds semantics

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

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:formal_semantics
gptkbp:alternativeTo	situation semantics
gptkbp:application	analyzing conditionals analyzing modal verbs analyzing propositional attitudes analyzing tense and aspect
gptkbp:criticizedFor	gptkb:Quine ontological commitment to possible worlds
gptkbp:describes	meaning of modal expressions
gptkbp:developedBy	gptkb:David_Lewis gptkb:Saul_Kripke gptkb:Richard_Montague
gptkbp:explains	necessity possibility counterfactuals
gptkbp:field	gptkb:logic linguistics philosophy of language
gptkbp:formedBy	1960s
gptkbp:hasConcept	accessibility relation possible world truth in a world
gptkbp:influencedBy	gptkb:Leibniz gptkb:logic
gptkbp:relatedTo	gptkb:Kripke_semantics gptkb:Montague_grammar intensional semantics
gptkbp:usedIn	gptkb:formal_semantics gptkb:logic intensional logic
gptkbp:bfsParent	gptkb:Neighborhood_Semantics_for_Modal_Logic gptkb:Robert_Stalnaker gptkb:epistemic_game_theory gptkb:modal_logic_S5
gptkbp:bfsLayer	7
https://www.w3.org/2000/01/rdf-schema#label	possible worlds semantics