Adaptive logic characterizations of input/output logic (Q332074)

The paper reconstructs the input/output logics of the reviewer and \textit{L. van der Torre} [J. Philos. Log. 29, No. 4, 383--408 (2000; Zbl 0964.03002)] and subsequent papers) by expanding the object language to internalize part of the metalanguage. This is done by introducing suitable modal operators, which are then manipulated using techniques from adaptive logic (for which, see, e.g. the recent overview by \textit{C. Straßer} [Adaptive logics for defeasible reasoning. Applications in argumentation, normative reasoning and default reasoning. Cham: Springer (2014; Zbl 1350.03003)]). It is felt that this brings certain benefits: it becomes possible to express concepts such as violation and sanction in the object language, which in turn suggests interesting variations on the original constraints on input/output functions.