scientific article; zbMATH DE number 1735836

MaRDI QIDQ4329191zbMATH OpenFDO

Authors Marek Sergot, Fiona Richards

Publication date 15 October 2002

zbMATH Keywords

computer system specificationdeontic logicknowledge representationlogic of actionlogic of agencynormative systemstheory of rights

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• A computational theory of normative positions
• scientific article; zbMATH DE number 1405888
• Normative positions
• scientific article; zbMATH DE number 1444714
• Deontic Logic in Computer Science

Cited in

(12)

• On the formal representation of rights relations. Remarks on the work of Stig Kanger and Lars Lindahl
• Where responsibility takes you. Logics of agency, counterfactuals, and norms
• Understanding Hohfeld and formalizing legal rights: the Hohfeldian conceptions and their conditional consequences
• Normative Models of Rational Agency: The Theoretical Disutility of Certain Approaches
• Act and value: Expectation and the representability of moral theories
• Normative parties in subject position and in object position
• Normative positions
• A computational theory of normative positions
• Formal specification of security requirements using the theory of normative positions
• Deontic Logic in Computer Science
• On the axiomatisation of Elgesem's logic of agency and ability
• A theory of permission based on the notion of derogation

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 Q4329191)