In this paper, we study several high-order network-influence-propagation frameworks and their connection to the classical network diffusion frameworks such as the triggering model and the general threshold model. In one framework, we use hyperedges to represent many-to-one influence -- the collective influence of a group of nodes on another node -- and define the hypergraph triggering model as a natural extension to the classical triggering model. In another framework, we use monotone Boolean functions to capture the diverse logic underlying many-to-one influence behaviors, and extend the triggering model to the Boolean-function triggering model. We prove that the Boolean-function triggering model, even with refined details of influence logic, is equivalent to the hypergraph triggering model, and both are equivalent to the general threshold model. Moreover, the general threshold model is optimal in the number of parameters, among all models with the same expressive power. We further extend these three equivalent models by introducing correlations among influence propagations on different nodes. Surprisingly, we discover that while the correlated hypergraph-based model is still equivalent to the correlated Boolean-function-based model, the correlated general threshold model is more restrictive than the two high-order models. Our study sheds light on high-order network-influence propagations by providing new insight into the group influence behaviors in existing models, as well as diverse modeling tools for understanding influence propagations in networks.