A Logical Architecture of a Normative System

DOI10.1007/11786849_5MaRDI QIDQ3529351zbMATH OpenOpenAlexFDO

Authors Guido Boella, Leendert van der Torre

Publication date 9 October 2008

Published in Deontic Logic and Artificial Normative Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11786849_5

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 3197097
• scientific article; zbMATH DE number 6345346
• A Temporal Logic of Normative Systems
• A logical basis for constructive systems
• Robust normative systems and a logic of norm compliance
• scientific article; zbMATH DE number 588315
• scientific article; zbMATH DE number 4187765
• Reasoning about dynamic normative systems
• Normativity in logic

Cited in

(10)

• Combining constitutive and regulative norms in input/output logic
• Ten problems of deontic logic and normative reasoning in computer science
• scientific article; zbMATH DE number 6345346 (Why is no real title available?)
• Robust normative systems and a logic of norm compliance
• Arguing about constitutive and regulative norms
• The categorical imperative: category theory as a foundation for deontic logic
• Normative reasoning and consequence
• scientific article; zbMATH DE number 3197097 (Why is no real title available?)
• A formal, diagrammatic, and operational study of normative relations
• Substantive and procedural norms in normative multiagent systems

This page was built for publication: A Logical Architecture of a Normative System

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