Towards specifying norms

DOI10.1007/BF01531261MaRDI QIDQ1353845zbMATH OpenFDO

Authors O. Diekmann, M. D. Ryan

Publication date 6 May 1997

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

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

zbMATH Keywords

action-based systemcomputer science specificationsdeontic axiomsModal Action Logicnormnormative statementsordered theory presentationsstructured specifications

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Other applications of logic (03B80) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A dynamic logic of norm change
• scientific article; zbMATH DE number 1444714
• Norms of higher order
• A Temporal Logic of Normative Systems
• Formal specification of security requirements using the theory of normative positions

Cites work

• scientific article; zbMATH DE number 4033710 (Why is no real title available?)
• Temporal Reasoning over Deontic Specifications

Cited in

(8)

• Some aspects of the theory of norms
• On the representation of normative sentences in FOL
• A norm-giver meets deontic action logic
• scientific article; zbMATH DE number 125385 (Why is no real title available?)
• A dynamic logic of norm change
• scientific article; zbMATH DE number 1405888 (Why is no real title available?)
• An abstract definition of normative system
• Formal specification of security requirements using the theory of normative positions

This page was built for publication: Towards specifying norms

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