Title data
Straßer, Christian ; Beirlaen, Mathieu ; van de Putte, Frederik:
Adaptive Logic Characterizations of Input/output Logic.
In: Studia Logica.
Vol. 104
(2016)
Issue 5
.
- pp. 869-916.
ISSN 0039-3215
DOI: https://doi.org/10.1007/s11225-016-9656-1
Abstract in another language
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.
Further data
Item Type: | Article in a journal |
---|---|
Refereed: | Yes |
Institutions of the University: | Faculties > Faculty of Cultural Studies Faculties > Faculty of Cultural Studies > Department of Philosophy Faculties > Faculty of Cultural Studies > Department of Philosophy > Chair Philosophy I Faculties |
Result of work at the UBT: | No |
DDC Subjects: | 100 Philosophy and psychology 100 Philosophy and psychology > 100 Philosophy 100 Philosophy and psychology > 160 Logic |
Date Deposited: | 26 Nov 2018 08:23 |
Last Modified: | 26 Nov 2018 11:50 |
URI: | https://eref.uni-bayreuth.de/id/eprint/46376 |