Statements (53)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
semantic theory
|
| gptkbp:appliesTo |
modal logic
|
| gptkbp:developedBy |
gptkb:Saul_Kripke
|
| https://www.w3.org/2000/01/rdf-schema#label |
Kripke semantics
|
| gptkbp:includes |
models
frames |
| gptkbp:is_studied_in |
necessity and possibility
|
| gptkbp:isAvenueFor |
intensional contexts
|
| gptkbp:isBasedOn |
possible world semantics
|
| gptkbp:isCriticizedFor |
complexity
some philosophers expressiveness overgeneralization lack of intuitive appeal |
| gptkbp:isEvaluatedBy |
modal arguments
modal propositions modal statements |
| gptkbp:isExaminedBy |
research papers
academic journals logic courses modal logic textbooks logic seminars philosophy papers |
| gptkbp:isInfluencedBy |
logic
theoretical computer science philosophy of language linguistic theory |
| gptkbp:isPartOf |
philosophical discussions
formal logic modal logic framework modal logic systems |
| gptkbp:isRelatedTo |
epistemic logic
temporal logic accessibility relation deontic logic quantified modal logic interpretation of modal logic satisfaction relation truth in a model |
| gptkbp:isUsedBy |
belief
knowledge desire |
| gptkbp:isUsedIn |
artificial intelligence
computer science philosophy linguistics philosophical analysis mathematical logic formal semantics theoretical linguistics philosophical logic |
| gptkbp:provides |
truth conditions
|
| gptkbp:uses |
possible worlds
|