In order to deal with the possibility of deontic conflicts Lou Goble developed a group of logics (DPM) that are characterized by a restriction of the inheritance principle. While they approximate the deductive power of standard deontic logic, they do so only if the user adds certain statements to the premises. By adaptively strengthening the DPM logics, this paper presents logics that overcome this shortcoming. Furthermore, they are capable of modeling the dynamic and defeasible aspect of our normative reasoning by their dynamic proof theory. This way they enable us to have a better insight in the relations between obligations and thus to localize deontic conflicts
International audienceDeontic logic is the logic of obligation and permission. In the literature it ...
Term-modal logic uses modal operators that are indexed with terms of the language,which allows for...
Deontic logic is standardly conceived as the logic of true statements about the existence of obligat...
In order to deal with the possibility of deontic conflicts Lou Goble developed a group of logics (DP...
We present the inconsistency-adaptive deontic logic DP (r) , a nonmonotonic logic for dealing with c...
Adaptive Logics (ALs) are a viable and useful formal tool to handle various issues in deontic logic....
Lou Goble proposed powerful conditional deontic logics (CDPM) that are able to deal with deontic con...
While conflict-tolerant logics (CTDLs) usually allow for obligationobligation conflicts, they fall s...
First, two context-dependent desiderata are presented for devising calculi of deontic logic that can...
To decide which norms can be removed from a system, we need to know when a norm is redundant. After ...
We present two multi-agent deontic logics that consistently accommodate various types of normative c...
AbstractOften a set of imperatives or norms seems satisfiable from the outset, but conflicts arise w...
In this paper, we present an adaptive logic for deontic conflicts, called P2.1(r), that is based on ...
AbstractDeontic Logic was introduced in the first half of the last century to formalize aspects of l...
Deontic reasoning is reasoning about permission and obligation: what one may do and what one must do...
International audienceDeontic logic is the logic of obligation and permission. In the literature it ...
Term-modal logic uses modal operators that are indexed with terms of the language,which allows for...
Deontic logic is standardly conceived as the logic of true statements about the existence of obligat...
In order to deal with the possibility of deontic conflicts Lou Goble developed a group of logics (DP...
We present the inconsistency-adaptive deontic logic DP (r) , a nonmonotonic logic for dealing with c...
Adaptive Logics (ALs) are a viable and useful formal tool to handle various issues in deontic logic....
Lou Goble proposed powerful conditional deontic logics (CDPM) that are able to deal with deontic con...
While conflict-tolerant logics (CTDLs) usually allow for obligationobligation conflicts, they fall s...
First, two context-dependent desiderata are presented for devising calculi of deontic logic that can...
To decide which norms can be removed from a system, we need to know when a norm is redundant. After ...
We present two multi-agent deontic logics that consistently accommodate various types of normative c...
AbstractOften a set of imperatives or norms seems satisfiable from the outset, but conflicts arise w...
In this paper, we present an adaptive logic for deontic conflicts, called P2.1(r), that is based on ...
AbstractDeontic Logic was introduced in the first half of the last century to formalize aspects of l...
Deontic reasoning is reasoning about permission and obligation: what one may do and what one must do...
International audienceDeontic logic is the logic of obligation and permission. In the literature it ...
Term-modal logic uses modal operators that are indexed with terms of the language,which allows for...
Deontic logic is standardly conceived as the logic of true statements about the existence of obligat...