Generalized quantifiers in dependence logic

DOI10.1007/s10849-012-9162-4zbMath1305.03024arXiv1103.0396OpenAlexW3102477048MaRDI QIDQ2255198

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

independence-friendly logicdependence logicgeneralized quantifiersmulti-valued dependence

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic with extra quantifiers and operators (03C80)

Related Items (23)

Dependence logic with generalized quantifiers: axiomatizations ⋮ Dependence logic with a majority quantifier ⋮ A double team semantics for generalized quantifiers ⋮ Frame Theory, Dependence Logic and Strategies ⋮ Doubly strongly first order dependencies ⋮ Embedding causal team languages into predicate logic ⋮ Upwards closed dependencies in team semantics ⋮ General models and entailment semantics for independence logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Transition semantics: the dynamics of dependence logic ⋮ Dynamic Logics of Imperfect Information: From Teams and Games to Transitions ⋮ Characterizing quantifier extensions of dependence logic ⋮ Complexity of syntactical tree fragments of independence-friendly logic ⋮ DICHOTOMY RESULT FOR INDEPENDENCE-FRIENDLY PREFIXES OF GENERALIZED QUANTIFIERS ⋮ CHARACTERIZING DOWNWARDS CLOSED, STRONGLY FIRST-ORDER, RELATIVIZABLE DEPENDENCIES ⋮ Safe dependency atoms and possibility operators in team semantics ⋮ Expressivity and Complexity of Dependence Logic ⋮ On Strongly First-Order Dependencies ⋮ Games for Inclusion Logic and Fixed-Point Logic ⋮ Dependency Concepts up to Equivalence. ⋮ SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION ⋮ Characterizing counterfactuals and dependencies over (generalized) causal teams

Cites Work

• Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
• On definability in dependence logic
• From IF to BI. A tale of dependence and separation
• On branching quantifiers in English
• On a generalization of quantifiers
• Subset Dependencies and a Completeness Result for a Subclass of Embedded Multivalued Dependencies
• Quantifiers vs. Quantification Theory
• Hierarchies of Partially Ordered Connectives and Quantifiers
• Compositional semantics for a language of imperfect information
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Generalized quantifiers in dependence logic