Generalized quantifiers in dependence logic

DOI10.1007/S10849-012-9162-4MaRDI QIDQ2255198zbMATH OpenOpenAlexFDO

Authors Fredrik Engström

Publication date 9 February 2015

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1103.0396

zbMATH Keywords

dependence logicgeneralized quantifiersindependence-friendly logicmulti-valued dependence

Mathematics Subject Classification ID

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

• 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
• 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?)
• 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

(32)

• Generalized quantifiers and modal logic
• General models and entailment semantics for independence logic
• Epistemic operators in dependence logic
• Complexity of syntactical tree fragments of independence-friendly logic
• Safe dependency atoms and possibility operators in team semantics
• Characterizing counterfactuals and dependencies over (generalized) causal teams
• Doubly strongly first order dependencies
• Embedding causal team languages into predicate logic
• Dependence logic with generalized quantifiers: axiomatizations
• Dependence logic with generalized quantifiers: axiomatizations
• Dependence logic with a majority quantifier
• A double team semantics for generalized quantifiers
• Dynamic logics of imperfect information: from teams and games to transitions
• scientific article; zbMATH DE number 7447734 (Why is no real title available?)
• Frame theory, dependence logic and strategies
• scientific article; zbMATH DE number 4027448 (Why is no real title available?)
• Characterizing quantifier extensions of dependence logic
• Generalising Predicate and Argument Invariance
• Characterizing strongly first order dependencies: the non-jumping relativizable case
• Dependency Concepts up to Equivalence.
• Dichotomy result for independence-friendly prefixes of generalized quantifiers
• Characterizing downwards closed, strongly first-order, relativizable dependencies
• Expressivity and Complexity of Dependence Logic
• On strongly first-order dependencies
• Games for inclusion logic and fixed-point logic
• SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION
• Generalized quantification as substructural logic
• Immediate consequences operator on generalized quantifiers
• Dimension in team semantics
• Doubly strongly first-order dependencies
• On definability in dependence logic
• Upwards closed dependencies in team semantics

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)