< Terug naar vorige pagina


Adaptive logic characterizations of input/output logic

Tijdschriftbijdrage - Tijdschriftartikel

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.
Tijdschrift: Studia Logica
ISSN: 0039-3215
Issue: 5
Volume: 104
Pagina's: 869 - 916
Jaar van publicatie:2016