Studia Logica 104 (5):869-916 (2016)

Authors
Frederik Van De Putte
University of Ghent
Mathieu Beirlaen
University of Ghent
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 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.
Keywords Input/output logic  Adaptive logics  Proof theory  Nonmonotonic logic  Deontic logic  Deontic conflicts
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s11225-016-9656-1
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 58,797
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Reasons as Defaults.John Horty - 2007 - Philosophers' Imprint 7:1-28.
Values and the Heart's Command.Bas C. Van Fraassen - 1973 - Journal of Philosophy 70 (1):5-19.
A Universal Logic Approach to Adaptive Logics.Diderik Batens - 2007 - Logica Universalis 1 (1):221-242.
Input/Output Logics.David Makinson & Leendert van der Torre - 2000 - Journal of Philosophical Logic 29 (4):383-408.
On Inferences From Inconsistent Premises.Nicholas Rescher & Ruth Manor - 1970 - Theory and Decision 1 (2):179-217, 1970-1971.

View all 24 references / Add more references

Citations of this work BETA

Deontic Logic.Paul McNamara - 2010 - Stanford Encyclopedia of Philosophy.
On the Complexity of Input/Output Logic.Xin Sun & Livio Robaldo - 2017 - Journal of Applied Logic 25:69-88.

Add more citations

Similar books and articles

Constraints for Input/Output Logics.David Makinson & Leendert van der Torre - 2001 - Journal of Philosophical Logic 30 (2):155 - 185.
Input/Output Logics.David Makinson & Leendert van der Torre - 2000 - Journal of Philosophical Logic 29 (4):383-408.
Two Adaptive Logics of Norm-Propositions.Mathieu Beirlaen & Christian Straßer - 2013 - Journal of Applied Logic 11 (2):147-168.
A Universal Logic Approach to Adaptive Logics.Diderik Batens - 2007 - Logica Universalis 1 (1):221-242.
Equivalence of Defeasible Normative Systems.José Júlio Alferes, Ricardo Gonçalves & João Leite - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):25-48.
Hierarchic Adaptive Logics.Frederik Van De Putte - 2012 - Logic Journal of the IGPL 20 (1):45-72.
Adaptive Logic as a Modal Logic.Patrick Allo - 2013 - Studia Logica 101 (5):933-958.
Input/Output Logics.David Makinson & Leendert Van Der Torre - 2000 - Journal of Philosophical Logic 29 (4):383 - 408.

Analytics

Added to PP index
2016-03-03

Total views
15 ( #657,168 of 2,425,667 )

Recent downloads (6 months)
1 ( #546,862 of 2,425,667 )

How can I increase my downloads?

Downloads

My notes