Advanced search
1 file | 664.65 KB

Adaptive logic characterizations of input/output logic

(2016) STUDIA LOGICA . 104(5). p.869-916
Author
Organization
Abstract
We translate unconstrained and constrained input/output logics as introduced by Makinson and van der Torre to modal logics, using adaptive logics for the constrained case. The resulting reformulation has some additional benefits. First, we obtain a proof-theoretic (dynamic) characterization of input/output logics. Second, we demonstrate that our framework naturally gives rise to useful variants and allows to express important notions that go beyond the expressive means of input/output logics, such as violations and sanctions.

Downloads

  • Studia Logica Strasser Beirlaen VDP.pdf
    • full text
    • |
    • open access
    • |
    • PDF
    • |
    • 664.65 KB

Citation

Please use this url to cite or link to this publication:

Chicago
Straßer, Christian, Mathieu Beirlaen, and Frederik Van De Putte. 2016. “Adaptive Logic Characterizations of Input/output Logic.” Studia Logica 104 (5): 869–916.
APA
Straßer, C., Beirlaen, M., & Van De Putte, F. (2016). Adaptive logic characterizations of input/output logic. STUDIA LOGICA , 104(5), 869–916.
Vancouver
1.
Straßer C, Beirlaen M, Van De Putte F. Adaptive logic characterizations of input/output logic. STUDIA LOGICA . Springer Nature; 2016;104(5):869–916.
MLA
Straßer, Christian, Mathieu Beirlaen, and Frederik Van De Putte. “Adaptive Logic Characterizations of Input/output Logic.” STUDIA LOGICA 104.5 (2016): 869–916. Print.
@article{8511801,
  abstract     = {We translate unconstrained and constrained input/output logics as introduced by Makinson and van der Torre to modal logics, using adaptive logics for the constrained case. The resulting reformulation has some additional benefits. First, we obtain a proof-theoretic (dynamic) characterization of input/output logics. Second, we demonstrate that our framework naturally gives rise to useful variants and allows to express important notions that go beyond the expressive means of input/output logics, such as violations and sanctions.},
  author       = {Stra{\ss}er, Christian and Beirlaen, Mathieu and Van De Putte, Frederik},
  issn         = {0039-3215},
  journal      = {STUDIA LOGICA },
  language     = {eng},
  number       = {5},
  pages        = {869--916},
  publisher    = {Springer Nature},
  title        = {Adaptive logic characterizations of input/output logic},
  url          = {http://dx.doi.org/10.1007/s11225-016-9656-1},
  volume       = {104},
  year         = {2016},
}

Altmetric
View in Altmetric
Web of Science
Times cited: