Results 141 to 150 of about 306 (174)
Some of the next articles are maybe not open access.
1999
In this article we propose contextual deontic logic. Contextual obligations are written as O(α|β\γ), and are to be read as 'α should be the case if β is the case, unless γ is the case'. The unless clause is analogous to the justification in Reiter's default rules.
Leendert W. N. van der Torre +1 more
openaire +3 more sources
In this article we propose contextual deontic logic. Contextual obligations are written as O(α|β\γ), and are to be read as 'α should be the case if β is the case, unless γ is the case'. The unless clause is analogous to the justification in Reiter's default rules.
Leendert W. N. van der Torre +1 more
openaire +3 more sources
The Geometry of Standard Deontic Logic
Logica Universalis, 2009zbMATH Open Web Interface contents unavailable due to conflicting licenses.
exaly +3 more sources
A Deontic Logic of Knowingly Complying
International Joint Conference on Autonomous Agents and Multiagent Systems, 2023We introduce a logic for representing the deontic notion of knowingly complying associated to an agent's conciousness of taking a normative course of action for achieving a certain goal. Our logic features an operator for describing normative courses of actions, and another operator for describing what each agent knowingly complies with.
Carlos Areces +4 more
openaire +2 more sources
Journal of Philosophical Logic, 1992
Novel conditions of relevance are defined for conditionals in order to weed out some of the deontic paradoxes, such as Ross's paradox. Semantically, first-degree positive relevant entailment is defined in terms of fulfilment conditions, which are sets of sets of literals (atomic sentences or their negations).
openaire +2 more sources
Novel conditions of relevance are defined for conditionals in order to weed out some of the deontic paradoxes, such as Ross's paradox. Semantically, first-degree positive relevant entailment is defined in terms of fulfilment conditions, which are sets of sets of literals (atomic sentences or their negations).
openaire +2 more sources
Theoria, 1992
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
2012
International audience ; Deontic logic is the logic of obligation and permission. In the literature it has mainly been studied in terms of a list of problems and that is the way we chose to present it in this section. There are three main categories of problems. The first category is concerned with the nature of norms.
Broersen, Jan +6 more
openaire +3 more sources
International audience ; Deontic logic is the logic of obligation and permission. In the literature it has mainly been studied in terms of a list of problems and that is the way we chose to present it in this section. There are three main categories of problems. The first category is concerned with the nature of norms.
Broersen, Jan +6 more
openaire +3 more sources
2018
Deontic logic is the investigation of the logic of normative concepts, especially obligation (‘ought’, ‘should’, ‘must’), permission (‘may’) and prohibition (‘ought not’, ‘forbidden’). Deontic logic differs from normative legal theory and ethics in that it does not attempt to determine which principles hold, nor what obligations exist, for any given ...
openaire +2 more sources
Deontic logic is the investigation of the logic of normative concepts, especially obligation (‘ought’, ‘should’, ‘must’), permission (‘may’) and prohibition (‘ought not’, ‘forbidden’). Deontic logic differs from normative legal theory and ethics in that it does not attempt to determine which principles hold, nor what obligations exist, for any given ...
openaire +2 more sources
Studia Logica, 1980
Some requirements concerning deontic logic are formulated and discussed. Stress is laid on the need to distinguish between theories and deductive systems. It is argued that deontic theories need not be closed under the rule of detachment. Two deontic calculi, called DSC1, DSC2, are presented and talked over.
exaly +3 more sources
Some requirements concerning deontic logic are formulated and discussed. Stress is laid on the need to distinguish between theories and deductive systems. It is argued that deontic theories need not be closed under the rule of detachment. Two deontic calculi, called DSC1, DSC2, are presented and talked over.
exaly +3 more sources
Deontic logic as founded on nonmonotonic logic
Annals of Mathematics and Artificial Intelligence, 1993zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source