The Role of Deontic Logic in the Specification of Information Systems

This publication has 53 references indexed in Scilit:

• Dynamic business models as a basis for interoperable transaction design
  Information Systems, 1997
• Deontic Logic and Legal Knowledge Representation*
  Ratio Juris, 1990
• Metric semantics for concurrency
  BIT Numerical Mathematics, 1988
• Computer systems and the design of organizational interaction
  ACM Transactions on Information Systems, 1988
• Bureaucracies as deontic systems
  ACM Transactions on Information Systems, 1988
• A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic.
  Notre Dame Journal of Formal Logic, 1987
• A law-based approach to object-oriented programming
  ACM SIGPLAN Notices, 1987
• Event structure semantics for CCS and related languages
  Published by Springer Nature ,1982
• I. DEONTIC LOGIC
  Mind, 1951
• Some Fundamental Legal Conceptions as Applied in Judicial Reasoning
  The Yale Law Journal, 1913