Anderson's deontic logic

Standard Deontic Logic: Foundations, Axioms, and Extensions

Standard Deontic Logic Standard Deontic Logic (SDL), also known as KD or simply D, is a formal system used to reason about obligations, permissions, and prohibitions. Originally developed...