Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
|
| gptkbp:concerns |
truth and necessity
|
| gptkbp:formalizes |
alethic modalities
|
| gptkbp:hasSubgroup |
gptkb:logic
|
| https://www.w3.org/2000/01/rdf-schema#label |
Alethic Logic
|
| gptkbp:includes |
necessity
possibility contingency impossibility |
| gptkbp:mode |
possible
necessary impossible contingent |
| gptkbp:relatedTo |
deontic logic
epistemic logic |
| gptkbp:studies |
truth modalities
|
| gptkbp:usedIn |
gptkb:philosophy
|
| gptkbp:bfsParent |
gptkb:logic
|
| gptkbp:bfsLayer |
4
|