Benzmüller, ChristophChristophBenzmüller0000-0002-3392-30932023-11-092023-11-0920232192-5283https://fis.uni-bamberg.de/handle/uniba/91647-engHOL004Is HOL (as a metalogic) all we need for flexible normative reasoning?conferenceobject10.4230/dagrep.13.4.1urn:nbn:de:0030-drops-192367