Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/pub/view-inc.php on line 105
Repository | Book | Chapter
Commutativity of quantifiers in varying-domain Kripke models
pp. 9-30
Abstract
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
Published in:
Makinson David, Malinowski Jacek, Wansing Heinrich (2009) Towards mathematical philosophy: papers from the Studia logica conference Trends in logic IV. Dordrecht, Springer.
Pages: 9-30
Deprecated: DateTime::createFromFormat(): Passing null to parameter #2 ($datetime) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/pub/view-inc.php on line 496
DOI: 10.1007/978-1-4020-9084-4_2
Full citation:
Goldblatt Robert, Hodkinson Ian (2009) „Commutativity of quantifiers in varying-domain Kripke models“, In: D. Makinson, J. Malinowski & H. Wansing (eds.), Towards mathematical philosophy, Dordrecht, Springer, 9–30.