Statements (17)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
|
| gptkbp:formedBy |
gptkb:Kripke_semantics
|
| gptkbp:hasApplication |
analysis of logical necessity
analysis of logical possibility |
| gptkbp:hasModalOperator |
possibly
necessarily |
| https://www.w3.org/2000/01/rdf-schema#label |
alethic modal logic
|
| gptkbp:relatedTo |
deontic modal logic
epistemic modal logic |
| gptkbp:studies |
necessity
possibility contingency impossibility |
| gptkbp:usedIn |
gptkb:philosophy
metaphysics |
| gptkbp:bfsParent |
gptkb:modal_logic_S5
|
| gptkbp:bfsLayer |
6
|