[cap-talk] Is "Authority" Subjective?

[Jonathan S. Shapiro]

On Fri, 2007-06-22 at 16:12 +0100, Toby Murray wrote:
> What I'm after is that if Alice can /ever/ cause Carol to be invoked,
> then we consider that Alice has authority to invoke Carol.

No, because the event model is non-deterministic. We cannot say that
Alice has authority to invoke Carol. What we *can* say is that the state
of Carol *may* depend on the state of Alice.


shap