Normative Conditional Reasoning as a Fragment of HOL

Open in new window