##### Conditional normative reasoning as a fragment of HOL (Isabelle/HOL dataset)

by Xavier Parent and Christoph Benzmüller

AMS: Mathematical logic and foundations / General logic

by Xavier Parent and Christoph Benzmüller

by Christoph Benzmüller, David Fuenmayor, Alexander Steen and Geoff Sutcliffe