In quantified modal logic, the property of Kripke models in which each point or possible world $w$ has a distinct domain of quantification $D_w$. Constant domain models can be interpreted as trivial cases of variable domain models in which $D_w=D_{w^{\prime }}$ for all points $w$, $w^{\prime }$. Increasing domain Kripke models—figuring prominently in Kripke semantics for intuitionistic logic—are a special case of variable domain models.