Add to ORKGThe Philosophical School of Mimamsa provides a treasure trove of more than 2000 years worth of deontic investigations. In this paper we formalize the Mimamsa approach of resolving conflicting obligations by giving preference to the more specific ones. From a technical point of view we provide a method to close a set of prima-facie obligations under a restricted form of monotonicity, using specificity to avoid conflicting obligations in a dyadic non-normal deontic logic. A sequent-based decision procedure for the resulting logic is also provided
This paper compares two ways of formalising defeasible deontic reasoning, both based on the view tha...
This paper proposes a logic of transgressions for obligations and permissions. A key objective of t...
While conflict-tolerant logics (CTDLs) usually allow for obligationobligation conflicts, they fall s...
AbstractOften a set of imperatives or norms seems satisfiable from the outset, but conflicts arise w...
Abstract. Starting with the deontic principles in Mı̄mām. sa ̄ texts we introduce a new deontic log...
Term-modal logic uses modal operators that are indexed with terms of the language,which allows for...
Abstract. When a conflict of duties arises, a resolution is often sought by determining an ordering ...
This article proposes a systematic application of recent developments in the logic of preference to ...
this paper, however, that the techniques of nonmonotonic logic may provide a better theoretical fram...
peer reviewedDefeasible deontic logic uses techniques from non-monotonic logic to address various ch...
We present two multi-agent deontic logics that consistently accommodate various types of normative c...
International audienceDeontic logic is the logic of obligation and permission. In the literature it ...
peer reviewedNorm-based semantics to deontic logic typically come in an unconstrained and constraine...
In order to deal with the possibility of deontic conflicts Lou Goble developed a group of logics (DP...
. This paper investigates to what extent contrary-to-duty obligations can be represented in dyadic d...
This paper compares two ways of formalising defeasible deontic reasoning, both based on the view tha...
This paper proposes a logic of transgressions for obligations and permissions. A key objective of t...
While conflict-tolerant logics (CTDLs) usually allow for obligationobligation conflicts, they fall s...
AbstractOften a set of imperatives or norms seems satisfiable from the outset, but conflicts arise w...
Abstract. Starting with the deontic principles in Mı̄mām. sa ̄ texts we introduce a new deontic log...
Term-modal logic uses modal operators that are indexed with terms of the language,which allows for...
Abstract. When a conflict of duties arises, a resolution is often sought by determining an ordering ...
This article proposes a systematic application of recent developments in the logic of preference to ...
this paper, however, that the techniques of nonmonotonic logic may provide a better theoretical fram...
peer reviewedDefeasible deontic logic uses techniques from non-monotonic logic to address various ch...
We present two multi-agent deontic logics that consistently accommodate various types of normative c...
International audienceDeontic logic is the logic of obligation and permission. In the literature it ...
peer reviewedNorm-based semantics to deontic logic typically come in an unconstrained and constraine...
In order to deal with the possibility of deontic conflicts Lou Goble developed a group of logics (DP...
. This paper investigates to what extent contrary-to-duty obligations can be represented in dyadic d...
This paper compares two ways of formalising defeasible deontic reasoning, both based on the view tha...
This paper proposes a logic of transgressions for obligations and permissions. A key objective of t...
While conflict-tolerant logics (CTDLs) usually allow for obligationobligation conflicts, they fall s...