What are the program's commitments when it is in a given state?

Entities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.

• Commitments are like specifications, but they are to be considered as dynamic, i.e. specific commitments are created as the program runs.claim0.807
  Dynamic nature of commitments.
• What class of sentences to allow as expressing various kinds of commitments?question0.773
  Open problem on the expressiveness of commitment sentences.
• For some purposes, it will be convenient to settle for specifications in terms of fulfilling internal commitments, and sometimes the public character of promises will have to be taken into account in the specifications.claim0.760
  Trade-off between internal and public obligations.
• make commitmentmethod0.755
  Internal action to create a commitment object in Elephant.
• Where do the specific goal states come from? What determines the set points?question0.748
  Question about the origin of teleonomic targets.
• The correctness conditions for an illocutionary act involve the state of the program and its inputs and outputs. The correctness conditions for a perlocutionary act depends also on events in the world.claim0.740
  Distinction between illocutionary and perlocutionary correctness.
• exists commitmentmethod0.736
  Predicate to check whether a commitment exists.
• Proving that a program meets accomplishment specifications must be based on assumptions about the world, the information it makes available to the program and the effects of the program's actions as well as on facts about the program itself.claim0.736
  Claim about the nature of accomplishment verification.