Ten Problems of Deontic Logic and Normative Reasoning in Computer Science

DOI10.1007/978-3-642-31485-8_2zbMath1253.03041OpenAlexW34069334MaRDI 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 logicagencynormative systemsinput-output logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Philosophical and critical aspects of logic and foundations (03A05) Knowledge representation (68T30)

Related Items (1)

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

This page was built for publication: Ten Problems of Deontic Logic and Normative Reasoning in Computer Science