1. Adaptive Logic Characterizations of Input/Output Logic
- Author
-
Christian Straβer, Mathieu Beirlaen, and Frederik Van De Putte
- Subjects
Theoretical computer science ,Logic ,Normal modal logic ,Classical logic ,0102 computer and information sciences ,06 humanities and the arts ,0603 philosophy, ethics and religion ,01 natural sciences ,History and Philosophy of Science ,010201 computation theory & mathematics ,Computer Science::Logic in Computer Science ,Monoidal t-norm logic ,060302 philosophy ,Accessibility relation ,Kripke semantics ,T-norm fuzzy logics ,Non-monotonic logic ,Algorithm ,Łukasiewicz logic ,Mathematics - 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.
- Published
- 2016
- Full Text
- View/download PDF