Generalized quantifiers in dependence logic
From MaRDI portal
Publication:2255198
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.
Recommendations
- Dependence logic with generalized quantifiers: axiomatizations
- Dependence logic with generalized quantifiers: axiomatizations
- scientific article; zbMATH DE number 1140581
- scientific article; zbMATH DE number 1453079
- Generalized quantifiers and modal logic
- Characterizing quantifier extensions of dependence logic
- Generalized Quantifiers and Logical Reducibilities
- scientific article; zbMATH DE number 3946094
- Generalized quantification as substructural logic
- A note on logicality of generalized quantifiers
Cites work
- scientific article; zbMATH DE number 6003856 (Why is no real title available?)
- scientific article; zbMATH DE number 4191602 (Why is no real title available?)
- scientific article; zbMATH DE number 5734943 (Why is no real title available?)
- Compositional semantics for a language of imperfect information
- Dependence logic. A new approach to independence friendly logic
- From IF to BI. A tale of dependence and separation
- Hierarchies of Partially Ordered Connectives and Quantifiers
- Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
- On a generalization of quantifiers
- On branching quantifiers in English
- On definability in dependence logic
- Quantifiers vs. Quantification Theory
- Subset Dependencies and a Completeness Result for a Subclass of Embedded Multivalued Dependencies
Cited in
(31)- Dimension in team semantics
- Games for inclusion logic and fixed-point logic
- Safe dependency atoms and possibility operators in team semantics
- Epistemic operators in dependence logic
- Dependence logic with generalized quantifiers: axiomatizations
- Immediate consequences operator on generalized quantifiers
- Complexity of syntactical tree fragments of independence-friendly logic
- Dynamic logics of imperfect information: from teams and games to transitions
- Embedding causal team languages into predicate logic
- Characterizing quantifier extensions of dependence logic
- General models and entailment semantics for independence logic
- Doubly strongly first order dependencies
- Expressivity and Complexity of Dependence Logic
- Generalized quantification as substructural logic
- Generalized quantifiers and modal logic
- Characterizing counterfactuals and dependencies over (generalized) causal teams
- scientific article; zbMATH DE number 7453077 (Why is no real title available?)
- Frame theory, dependence logic and strategies
- Dichotomy result for independence-friendly prefixes of generalized quantifiers
- Characterizing downwards closed, strongly first-order, relativizable dependencies
- Dependence logic with generalized quantifiers: axiomatizations
- Upwards closed dependencies in team semantics
- scientific article; zbMATH DE number 7447734 (Why is no real title available?)
- SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION
- On strongly first-order dependencies
- On definability in dependence logic
- A double team semantics for generalized quantifiers
- Dependence logic with a majority quantifier
- scientific article; zbMATH DE number 4027448 (Why is no real title available?)
- Generalising Predicate and Argument Invariance
- Dependency Concepts up to Equivalence.
This page was built for publication: Generalized quantifiers in dependence logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2255198)
