Interpretation over a singleton Let I be , and σ ∈ ΣI. 1. I(A)(σ) = I(∀xA)(σ). 2. I(t)(σ) = a. 3. I(Sx1,···,xn t1,···,tn A)(σ) = I(A)(σ). 4. I0(P), σ(P) ∈ {I(n), Ψ(n)} for every n-ary predicate constant (variable), where
• Multiphase flow covers a vast field, cross different scales, different engineering disciplines, different application contexts, and different analytic approaches. • Therefore one course for the fundamental understanding of , a unifying approach to the multiphase flow
