Repository | Book | Chapter

(2009) Towards mathematical philosophy, Dordrecht, Springer.
Commutativity of quantifiers in varying-domain Kripke models
Robert Goldblatt , Ian Hodkinson
pp. 9-30
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.
Publication details
DOI: 10.1007/978-1-4020-9084-4_2
Full citation:
Goldblatt, R. , Hodkinson, I. (2009)., Commutativity of quantifiers in varying-domain Kripke models, in D. Makinson, J. Malinowski & H. Wansing (eds.), Towards mathematical philosophy, Dordrecht, Springer, pp. 9-30.
This document is unfortunately not available for download at the moment.