pith. sign in

arxiv: 1103.0396 · v4 · pith:EDJ4LZIMnew · submitted 2011-03-02 · 🧮 math.LO

Generalized quantifiers in Dependence Logic

classification 🧮 math.LO
keywords dependenceatomgeneralizedlogicquantifierssemanticsadelanen
0
0 comments X
read the original abstract

We introduce generalized quantifiers, as defined in Tarskian semantics by Mostowski and Lindstr\"om, in logics whose semantics is based on teams instead of assignments, e.g., IF-logic and Dependence logic. Both the monotone and the non-monotone case is considered. It is argued that to handle quantifier scope dependencies of generalized quantifiers in a satisfying way the dependence atom in Dependence logic is not well suited and that the multivalued dependence atom is a better choice. This atom is in fact definably equivalent to the \emph{independence atom} recently introduced by V\"a\"an\"anen and Gr\"adel.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.