Deontic Logic

GPTKB entity

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