Existentially valid formulas corresponding to some normal modal logics

Validity of a modal formula on a Kripke frame is defined as global truth under any valuation of propositional variables. Analogously, we can consider so-called existential validity of formulas, i.e. satisfiability under any valuation. We outline relationships between sets of existentially valid formulas corresponding to several well-known modal logics.