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 |
https://www.w3.org/2000/01/rdf-schema#label |
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:logic
|
gptkbp:bfsLayer |
4
|