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

Parent, XavierXavierParentBenzmüller, ChristophChristophBenzmüller0000-0002-3392-30932024-04-152024-04-1520242150-914Xhttps://fis.uni-bamberg.de/handle/uniba/94698engConditional normative reasoning as a fragment of HOL (Isabelle/HOL dataset)articlehttps://isa-afp.org/entries/CondNormReasHOL.html