Ten Problems of Deontic Logic and Normative Reasoning in Computer Science

DOI10.1007/978-3-642-31485-8_2zbMath1253.03041MaRDI QIDQ3166987

Leendert van der Torre, Jan M. Broersen

Publication date: 1 November 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-31485-8_2

zbMATH Keywords

deontic logic; agency; normative systems; input-output logic

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

68T27: Logic in artificial intelligence

03A05: Philosophical and critical aspects of logic and foundations

68T30: Knowledge representation

Related Items

A Lewisian taxonomy for deontic logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• Deontic logic in computer science. 10th international conference, DEON 2010, Fiesole, Italy, July 7--9, 2010. Proceedings
• Deontic logic: introductory and systematic readings. (Repr. with new introd.)
• Dyadic deontic detachment
• On the formal representation of rights relations. Remarks on the work of Stig Kanger and Lars Lindahl
• An analysis of Hansson's dyadic deontic logic
• Five faces of minimality
• Conditional obligation, deontic paradoxes, and the logic of agency
• Permission from an input/output perspective
• Input/output logics
• Contrary-to-duty obligations
• A dynamic logic of agency. I: STIT, capabilities and powers
• Moral conflicts between groups of agents
• The logic of knowledge based obligation
• Combinations of tense and deontic modality: On the \(R_{t}\) approach to temporal logic with historical necessity and conditional obligation
• Violation games: a new foundation for deontic logic ★
• Alternating-time temporal logic
• Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories
• A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
• A Deontic Logic for Socially Optimal Norms
• An Attacker Model for Normative Multi-agent Systems
• A Logical Architecture of a Normative System
• Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm’s Scenario
• Changing legal systems: legal abrogations and annulments in Defeasible Logic
• Remedial interchange, contrary-to-duty obligation and commutation
• On the logic of theory change: Partial meet contraction and revision functions
• A Modal Logic for Coalitional Power in Games
• Deontic Redundancy: A Fundamental Challenge for Deontic Logic
• An Analysis of some Deontic Logics
• Beliefs, obligations, intentions, and desires as components in an agent architecture
• Deontic Logic in Computer Science
• Constraints for input/output logics