A Modal Approach to Intentions, Commitments and Obligations: Intention plus Commitment yields Obligation

This publication has 11 references indexed in Scilit:

• The inheritance of dynamic and deontic integrity constraints or: Does the boss have more rights?
  Annals of Mathematics and Artificial Intelligence, 1991
• Temporal Reasoning over Deontic Specifications
  Journal of Logic and Computation, 1991
• Applications of Process Algebra
  Published by Cambridge University Press (CUP) ,1990
• Intention is choice with commitment
  Artificial Intelligence, 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
• First-Order Dynamic Logic
  Lecture Notes in Computer Science, 1979
• I. DEONTIC LOGIC
  Mind, 1951