Commutativity of quantifiers in varying-domain Kripke models
pp. 9-30
in: David Makinson, Jacek Malinowski, Heinrich Wansing (eds), Towards mathematical philosophy, Berlin, Springer, 2009Abstract
A possible-worlds semantics is defined that validates the main axioms of Kripke's original system for first-order modal logic over varying-domain structures. The novelty of this semantics is that it does not validate the commutative quantification schema ∀ x ∀ y φ→∀ y ∀ x φ, as we show by constructing a counter-model.
