Normative Conditional Reasoning as a Fragment of HOL

Xavier Parent, Christoph Benzmüller

We report on the mechanization of (preference-based) conditional normative reasoning. Our focus is on Aqvist's system E for conditional obligation, and its extensions. Our mechaniz…