Towards specifying norms

DOI10.1007/BF01531261zbMath0866.03019MaRDI QIDQ1353845

O. Diekmann

Publication date: 6 May 1997

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

zbMATH Keywords

normnormative statementsaction-based systemcomputer science specificationsdeontic axiomsModal Action Logicordered theory presentationsstructured specifications

Mathematics Subject Classification ID

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

Cites Work

• Temporal Reasoning over Deontic Specifications
• Unnamed Item

This page was built for publication: Towards specifying norms