Add to ORKGIn this paper we present a Gentzen system for reasoning with contrary-to-duty obligations. The intuition behind the system is that a contrary-to-duty is a special kind of normative exception. The logical machinery to formalise this idea is taken from substructural logics and it is based on the definition of a new non-classical connective capturing the notion of reparational obligation. Then the system is tested against well-known contrary-to-duty paradoxes
Since at least the 1960s, deontic logicians and ethicists have worried about whether there can be no...
This paper proposes a logic of transgressions for obligations and permissions. A key objective of t...
peer reviewedThere is a variety of ways to reason with normative systems. This partly reflects a var...
In this paper we present a Gentzen system for reasoning with contrary-to-duty obligations. The intu...
In this paper we present a Gentzen system for reasoning with contrary-to-duty obligations. The intui...
In this paper we present a Gentzen system for reasoning with contrary-to-duty obligations. The intui...
In this paper we present a Gentzen system for reasoning with contrary-to-duty obligations. The intui...
AbstractDeontic Logic was introduced in the first half of the last century to formalize aspects of l...
The present paper proposes a structural operational semantics and the related semantics for normativ...
In this paper we introduce an abstract theory of norma-tive reasoning, whose central notion is the g...
Since at least the 1960s, deontic logicians and ethicists have worried about whether there can be no...
In [8] the authors developed a logical system based on the definition of a new non-classical connect...
My three projects here explore some semantic and metaethical problems that are unique to normative l...
Abstract: In this paper we discuss some reasons why temporal logic might not be suitable to model re...
. This paper investigates to what extent contrary-to-duty obligations can be represented in dyadic d...
Since at least the 1960s, deontic logicians and ethicists have worried about whether there can be no...
This paper proposes a logic of transgressions for obligations and permissions. A key objective of t...
peer reviewedThere is a variety of ways to reason with normative systems. This partly reflects a var...
In this paper we present a Gentzen system for reasoning with contrary-to-duty obligations. The intu...
In this paper we present a Gentzen system for reasoning with contrary-to-duty obligations. The intui...
In this paper we present a Gentzen system for reasoning with contrary-to-duty obligations. The intui...
In this paper we present a Gentzen system for reasoning with contrary-to-duty obligations. The intui...
AbstractDeontic Logic was introduced in the first half of the last century to formalize aspects of l...
The present paper proposes a structural operational semantics and the related semantics for normativ...
In this paper we introduce an abstract theory of norma-tive reasoning, whose central notion is the g...
Since at least the 1960s, deontic logicians and ethicists have worried about whether there can be no...
In [8] the authors developed a logical system based on the definition of a new non-classical connect...
My three projects here explore some semantic and metaethical problems that are unique to normative l...
Abstract: In this paper we discuss some reasons why temporal logic might not be suitable to model re...
. This paper investigates to what extent contrary-to-duty obligations can be represented in dyadic d...
Since at least the 1960s, deontic logicians and ethicists have worried about whether there can be no...
This paper proposes a logic of transgressions for obligations and permissions. A key objective of t...
peer reviewedThere is a variety of ways to reason with normative systems. This partly reflects a var...