Formal specification of security requirements using the theory of normative positions
- 1 January 1992
- book chapter
- Published by Springer Nature
- p. 103-121
- https://doi.org/10.1007/bfb0013894
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Deontic logic in the representation of law: Towards a methodologyArtificial Intelligence and Law, 1992
- On the Logic of Deontic ConditionalsRatio Juris, 1991
- Ideality, sub-ideality and deontic logicSynthese, 1985
- Law and logicTheoria, 1972
- Rights and ParliamentarismTheoria, 1966
- Contrary-to-Duty Imperatives and Deontic LogicAnalysis, 1963