Ten Problems of Deontic Logic and Normative Reasoning in Computer Science
From MaRDI portal
Publication:3166987
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
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
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