We give a complete characterization of the class of upward monotone generalized quantifiers Q₁ and Q₃ over countable domains that satisfy the scheme $ Q_1 XQ_2 Y\emptyset \to Q_2 YQ_1 Q_1 X\emptyset $ ...

Montague, Prior, von Wright and others drew attention to resemblances between modal operators and quantifiers. In this paper we show that classical quantifiers can, in fact, be regarded as "S5-like" ...

Logic and geometric representations constitute an interdisciplinary framework that merges formal logical systems with spatial and diagrammatic structures. This field encompasses the study of ...

Marcus began her revolutionary work in modal logic during the late 1940s when she developed the Barcan formula, which developed the use of quantifiers in the field. Though Marcus initially came under ...