A Logic of Agent Organizations