[Tiesa modelyje] Taisyklinga predikatų modalinės logikos formulės φ teisingumą varijuojančio domeno modelyje apibrėžiame lygiai taip pat, kaip ir nekintamo domeno modeliuose, išskyrus: aktualistiniai kvantoriai M, w, a ⊨ ∃xφ jei ir tik jei M, w, a[d / x] ⊨ φ bent vienam d ∊ Dw; M, w, a ⊨ ∀xφ jei ir tik jei M, w, a[d / x] ⊨ φ visiems d ∊ Dw; posibilistiniai kvantoriai M, w, a ⊨ ∃xφ jei ir tik jei M, w, a[d / x] ⊨ φ bent vienam d ∊ D; M, w, a ⊨ ∀xφ jei ir tik jei M, w, a[d / x] ⊨ φ visiems d ∊ D. Aktualistinių kvantorių atveju, intuityviai sakome, kad visi x yra tokie, jog φ yra teisinga formulė, jei ir tik jei, kad ir kokį individą iš w priskirtume x’ui, vis tiek gausime teisingą formulę φ. Mutatis mutandis dalinio kvantoriaus atveju. Posiblistinių kvantorių atveju – visi x yra tokie, kad φ yra teisinga formulė, jei ir tik jei, kad ir kokį faktinį ar vien tik galimą individą priskirtume x’ui, vis tiek gausime teisingą formulę φ. Mutatis mutandis dalinio kvantoriaus atveju.
