  \(\mathbf{GL}\) can also be outfitted with a possible world semantics for which it is sound and complete. A corresponding condition on frames for \(\mathbf{GL}\)-validity is that the frame be transitive, finite and irreflexive.