Generalized Quantifiers in Dependence Logic

被引：22

作者：

Engström F. ^{[1
]}

机构：

[1] Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, 405 30 Göteborg

来源：

Journal of Logic, Language and Information | 2012年 / 21卷 / 3期

关键词：

Dependence logic; Generalized quantifiers; Independence friendly logic; Multi valued dependence;

D O I：

10.1007/s10849-012-9162-4

中图分类号：

学科分类号：

摘要：

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. © 2012 Springer Science+Business Media B.V.

引用

页码：299 / 324

页数：25

共 23 条

[1]

Abramsky S., Vaananen J., From IF to BI: A Tale of Dependence and Separation, pp. 207-230, (2009)

[2]

Armstrong W.W., Dependency structures of data base relationships, Information Processing 74, Proceedings of IFIP Congress, Stockholm, 1974, pp. 580-583, (1974)

[3]

Barwise J., On branching quantifiers in English, Journal of Philosophical Logic, 8, 1, pp. 47-80, (1979)

[4]

Beeri C., Fagin R., Howard J., A complete axiomatization for functional and multivalued dependencies in database relations, Proceedings of the 1977 ACM SIGMOD International Conference On Management of Data, (1977)

[5]

Davies M., Two examiners marked six scripts, Interpretations of Numerically Quantified Sentences. Linguistics and Philosophy, 12, 3, pp. 293-323, (1989)

[6]

Fagin R., Multivalued dependencies and a new normal form for relational databases, ACM Transactions on Database Systems (TODS), 2, 3, pp. 262-278, (1977)

[7]

Galliani P., Inclusion and Exclusion Dependencies In Team Semantics: On Some Logics of Imperfect Information, (2011)

[8]

Gierasimczuk N., Szymanik J., Branching quantification vs. Two-way quantification, Journal of Semantics, 26, 4, pp. 329-366, (2009)

[9]

Gradel E., Vaananen J., Dependence and Independence, (2011)

[10]

Henkin L., Some remarks on infinitely long formulas, Infinitistic Methods. Proceedings of the Symposium, pp. 167-183, (1961)

← 1 2 3 →