Mechanization of Conditional Normative Reasoning in Isabelle/HOL

The author mechanizes conditional normative reasoning using Isabelle/HOL, focusing on system E for conditional obligation and its extensions. The approach involves meta-reasoning about logics and assessing ethical arguments.