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...
Read Standard Deontic Logic: Foundations, Axioms, and Extensions