25 A Logic of Actions P. Hayes