What about the effects of performatives?
Promises create obligations (speech-act theory).
Assertions of a promissory nature create obligations (Law).
Obligations need to be shown explicitly
to reason with;
to check for compliance;
to check for consistency;
to link to sanctions;
safety and liveness properties verification
(Zimmer & Daskalopulu 1999).
Generally effects of one action might be pre-conditions of another action.
Back to first slide
View graphic version