Generalized Quantifiers in Dependence Logic
Generalized Quantifiers in Dependence Logic
复制标题
依存逻辑中的广义量词
DOI：
--
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
F. Engström
中科院分区：
文献类型：
--
作者：
F. Engström
我们引入广义量词，定义在塔斯基语义的Mostowski和Lindström，在逻辑的语义是基于团队，而不是分配，例如，如果逻辑和依赖逻辑。单调和非单调的情况下被认为是。本文认为，要想满意地处理广义量词的量词范围依赖，依赖逻辑中的依赖原子并不合适，而多值依赖原子是一个更好的选择。这个原子事实上是明确等价于独立原子最近介绍的Väänänen和Grädel。
We introduce generalized quantifiers, as defined in Tarskian semantics by Mostowski and Lindström, 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 independence atom recently introduced by Väänänen and Grädel.