Benzmüller, ChristophChristophBenzmüller0000-0002-3392-30932024-01-292024-01-292024https://fis.uni-bamberg.de/handle/uniba/93108-engHOL004Is HOL (as a metalogic) all we need for flexible normative reasoning?conferenceobjecturn:nbn:de:bvb:473-irb-931087