Characterizing quantifier extensions of dependence logic

DOI10.2178/jsl.7801210zbMath1273.03134arXiv1202.5247OpenAlexW2036854684MaRDI QIDQ4916562

Fredrik Engström, Juha Kontinen

Publication date: 23 April 2013

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

dependence logicgeneralized quantifiersindependence logicquantifier extensions of existential second-order logic

Mathematics Subject Classification ID

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

Related Items (7)

Dependence logic with generalized quantifiers: axiomatizations ⋮ Boolean dependence logic and partially-ordered connectives ⋮ Dependence logic with a majority quantifier ⋮ A double team semantics for generalized quantifiers ⋮ Expressivity and Complexity of Dependence Logic ⋮ On Strongly First-Order Dependencies ⋮ SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION

Cites Work

• Unnamed Item
• 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
• Generalized quantifiers in dependence logic
• Preface for Studia Logica special issue (2)

This page was built for publication: Characterizing quantifier extensions of dependence logic