TY - JOUR T1 - Adaptive Logic Characterizations of Input/output Logic JF - Studia Logica Y1 - 2016 A1 - Straßer, Christian A1 - Beirlaen, Mathieu A1 - Van De Putte, Frederik AB -

We translate the unconstrained and constrained input/output-logics from [17, 18] to reflexive modal logics, using adaptive logics for the constrained case. The resulting reformulation has various advantages. First, we obtain a proof-theoretic (dynamic) characterization of input/output logics. Second, we demonstrate that our modal framework gives naturally rise to useful variants. Finally, the modal logics display a gain in expressive power over their original counterparts in the input/output framework.

VL - 104 SP - 869-916 CP - 5 ER -