Adaptive Logic Characterizations of Input/Output Logic

Christian Strasser*, Mathieu Beirlaen, Frederik Van De Putte

*Corresponding author for this work

Research output: Contribution to journalArticleAcademicpeer-review

9 Citations (Scopus)

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.
Original languageEnglish
Pages (from-to)869-916
Number of pages48
JournalStudia Logica
Volume104
Issue number5
DOIs
Publication statusPublished - Oct 2016
Externally publishedYes

Fingerprint

Dive into the research topics of 'Adaptive Logic Characterizations of Input/Output Logic'. Together they form a unique fingerprint.

Cite this