Generalized quantifiers in Dependence Logic
Logic
2012-04-04 v4
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.
Keywords
Cite
@article{arxiv.1103.0396,
title = {Generalized quantifiers in Dependence Logic},
author = {Fredrik Engström},
journal= {arXiv preprint arXiv:1103.0396},
year = {2012}
}
Comments
22 pages