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. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1007/s11225-016-9656-1 | Studia Logica |
Keywords | Field | DocType |
Input/output logic,Adaptive logics,Proof theory,Nonmonotonic logic,Deontic logic,Deontic conflicts | Discrete mathematics,T-norm fuzzy logics,Łukasiewicz logic,Normal modal logic,Accessibility relation,Kripke semantics,Algorithm,Non-monotonic logic,Monoidal t-norm logic,Classical logic,Mathematics | Journal |
Volume | Issue | ISSN |
104 | 5 | 0039-3215 |
Citations | PageRank | References |
1 | 0.35 | 30 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Christian Stra ßer | 1 | 101 | 19.12 |
Mathieu Beirlaen | 2 | 44 | 6.60 |
Frederik Van De Putte | 3 | 28 | 5.49 |