Results 171 to 180 of about 697,727 (200)
Some of the next articles are maybe not open access.
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.
openaire +2 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.
openaire +2 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 +2 more sources
Deontic logic without deontic operators
Theory and Decision, 1971The usual axioms and inference rules of deontic logic employ as a new primitive term an operator for ‘obligatory’ or for ‘permitted’. These axioms and inference rules are here derived from a language which instead of the operator contains a predicate ‘admissible’ defined on the set of state descriptions of an assertoric language.
openaire +2 more sources
Precedent, deontic logic, and inheritance
Proceedings of the 7th international conference on Artificial intelligence and law, 1999The purpose of this paper is to establish some connections between precedent-based reasoning as it is studied in the field of Artificial Intelligence and Law, particularly in the work of Ashley, and two other fields: deontic logic and nonmonotonic logic.
openaire +2 more sources
Propositional Quantifiers in Deontic Logic
2006Several systems of monadic deontic logic are defined in terms of systems of alethic modal logic with a propositional constant. When the universal propositional quantifier is added to these systems, the propositional constant becomes definable in terms of the deontic operator. As a result, the meaning of this constant becomes clearer and it becomes easy
openaire +1 more source
A BERT-based deontic logic learner
Information Processing and Management, 2023Sun Jingyun, Shaobin Huang
exaly
A Temporal Epistemic Deontic Logic
Notre Dame Journal of Formal LogicThis paper presents a study of a specific logic that combines the properties of temporal, epistemic, and deontic reasoning. It is argued that this logic is appropriate for characterizing ``the formal framework for legally bound knowability''. It deals with special modal operators for L-knowability, EL-obligation together with the usual temporal ...
openaire +2 more sources