Meeting the deadline: On the formal specification of temporal deontic constraints

This publication has 10 references indexed in Scilit:

• Combining Agency and Obligation (Preliminary Version)
  Published by Springer Nature ,1996
• Temporal Reasoning over Deontic Specifications
  Journal of Logic and Computation, 1991
• Process Algebra
  Published by Cambridge University Press (CUP) ,1990
• A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic.
  Notre Dame Journal of Formal Logic, 1987
• A theory for nondeterminism, parallelism, communication, and concurrency
  Theoretical Computer Science, 1986
• Contrasting themes in the semantics of imperative concurrency
  Published by Springer Nature ,1986
• Deontic Logic
  Published by Springer Nature ,1984
• Deontic Logic as Founded on Tense Logic
  Published by Springer Nature ,1981
• First-Order Dynamic Logic
  Lecture Notes in Computer Science, 1979
• I. DEONTIC LOGIC
  Mind, 1951