  The fixed-domain approach requires no major adjustments to the classical machinery for the quantifiers. Modal logics that are adequate for fixed domain semantics can usually be axiomatized by adding principles of a propositional modal logic to classical quantifier rules together with the Barcan Formula \((BF)\) (Barcan 1946). (For an account of some interesting exceptions see Cresswell (1995)).