Adaptive Logic Characterizations of Input/Output Logic

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...

Full description

Saved in:
Bibliographic Details
Published in:Studia logica 2016-10, Vol.104 (5), p.869-916
Main Authors: Straßer, Christian, Beirlaen, Mathieu, Van De Putte, Frederik
Format: Article
Language:English
Subjects:
Adaptive logics
Computational Linguistics
Defeasible reasoning
Deontic logic
Education
Input output
Logic
Logical givens
Logical theorems
Mathematical Logic and Foundations
Normativity
Permission
Philosophy
Proof theory
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0039-3215
1572-8730
DOI:10.1007/s11225-016-9656-1