Statements (34)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
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 |
| https://www.w3.org/2000/01/rdf-schema#label |
possible worlds semantics
|
| gptkbp:influencedBy |
gptkb:Leibniz
gptkb:logic |
| gptkbp:relatedTo |
gptkb:Kripke_semantics
gptkb:Montague_grammar intensional semantics |
| gptkbp:usedIn |
gptkb:logic
formal semantics intensional logic |
| gptkbp:bfsParent |
gptkb:Robert_Stalnaker
gptkb:modal_logic_S5 |
| gptkbp:bfsLayer |
6
|