Statements (25)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
|
| gptkbp:application |
gptkb:artificial_intelligence
gptkb:law computer science |
| gptkbp:developedBy |
20th century
|
| gptkbp:fieldOfStudy |
gptkb:logic
gptkb:philosophy ethics |
| gptkbp:hasModalOperator |
F (forbidden)
O (obligatory) P (permitted) |
| gptkbp:hasSubfield |
dynamic deontic logic
input/output logic temporal deontic logic |
| gptkbp:notableFigure |
gptkb:Ernst_Mally
gptkb:Georg_Henrik_von_Wright |
| gptkbp:numberOfIssues |
paradoxes of deontic logic
|
| gptkbp:relatedTo |
gptkb:logic
|
| gptkbp:studies |
permission
obligation forbiddenness normative concepts |
| gptkbp:bfsParent |
gptkb:The_Logic_of_Norms
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Deontic Logic
|