2 problems

Let $Q(X,Y)$ be a generalized quantifier, where $X$ and $Y$ denote its two domains. A sentence is $X$-restricted if all of its quantifiers range over $X$. Van Benthem's conjecture.…

Team semantics evaluates formulas on teams, where a team is a set of assignments, and Mostowski quantifiers are interpreted using collections of subsets of the domain. Consideratio…