@article {strasser2014dynamic,
	title = {Adaptive Logic Characterizations of Input/output Logic},
	journal = {Studia Logica},
	volume = {104},
	year = {2016},
	pages = {869-916},
	chapter = {869},
	abstract = {<p>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.</p>},
	author = {Stra{\ss}er, Christian and Beirlaen, Mathieu and Van De Putte, Frederik}
}
