  A similar approach was introduced for modal logics in Kripke 1963. Domains are present, but it is left open what they might consist of. But there is a complication that has no classical counterpart: in a Kripke model there are multiple states. Should there be a single domain for the entire model, or separate domains for each state? Both have natural intuitions.