scientific article; zbMATH DE number 1163374

MaRDI QIDQ4394901zbMATH OpenFDO

Authors Henry Prakken, Marek Sergot

Publication date 7 June 1999

zbMATH Keywords

contrary-to-duty obligationsdyadic deontic logicpossible worlds semantics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60)

Recommendations

• scientific article; zbMATH DE number 1552268
• Temporal alethic dyadic deontic logic and the contrary-to-duty obligation paradox
• The equational approach to contrary-to-duty obligations
• scientific article; zbMATH DE number 1405876

Cited in

(33)

• Moral dilemmas, disjunctive obligations, and Kant's principle that ``ought implies ``can
• Algorithms for tractable compliance problems
• A logic of comparative obligation
• Unsettling preferential semantics
• Defeasible normative reasoning
• How knowledge triggers obligation. A dynamic logic of epistemic conditional obligation
• Action type deontic logic
• Contrary-to-duty reasoning: a categorical approach
• Ideal worlds -- wishful thinking in deontic logic
• Conflicting imperatives and dyadic deontic logic
• Deontic diversity
• Contrary-To-Duties in Games
• Bipolar argumentation frames and contrary to duty obligations, preliminary report
• Sanction semantics and contrary-to-duty obligations
• Principles of Talmudic logic
• Reactive Kripke Models and Contrary to Duty Obligations
• On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G
• $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts
• A dynamic deontic logic for complex contracts
• Maximality vs. optimality in dyadic deontic logic. Completeness results for systems in Hansson's tradition
• Normative consequence relation and consequence operations on the language of dyadic deontic logic
• scientific article; zbMATH DE number 920113 (Why is no real title available?)
• A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms
• A conflict between some semantic conditions of Carmo and Jones for contrary-to-duty obligations
• A deontic logic framework allowing for factual detachment
• Deontic Logic in Computer Science
• On some weakened forms of transitivity in the logic of conditional obligation
• Deontic equilibrium logic with explicit negation
• Norms and deontic logic
• Problems for factive accounts of assertion
• Double moral hayard, monitoring and the nature of contracts
• Epistemic formulae, argument structures, and a narrative on identity and deception: a formal representation from the AJIT subproject within AURANGZEB
• Law and logic: a review from an argumentation perspective

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4394901)