Dependence logic with generalized quantifiers: axiomatizations

DOI10.1007/978-3-642-39992-3_14MaRDI QIDQ2849428zbMATH OpenOpenAlexFDO

Authors Fredrik Engström, Juha Kontinen, Jouko Väänänen

Publication date 17 September 2013

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

Full work available at URL https://arxiv.org/abs/1304.0611, http://hdl.handle.net/10138/214806

Mathematics Subject Classification ID

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

Abstract: We prove two completeness results, one for the extension of dependence logic by a monotone generalized quantifier Q with weak interpretation, weak in the meaning that the interpretation of Q varies with the structures. The second result considers the extension of dependence logic where Q is interpreted as "there exists uncountable many." Both of the axiomatizations are shown to be sound and complete for FO(Q) consequences.

Recommendations

• Dependence logic with generalized quantifiers: axiomatizations
• Correspondence and Completeness for Generalized Quantifiers
• Dependence logic with a majority quantifier
• Generalized quantifiers in dependence logic
• Axiomatizing first-order consequences in dependence logic

Cited in

(11)

• Generalized quantifiers in dependence logic
• Dependence logic with generalized quantifiers: axiomatizations
• Boolean dependence logic and partially-ordered connectives
• Dependence logic with a majority quantifier
• Dependence logic with a majority quantifier
• A double team semantics for generalized quantifiers
• Axiomatizing first-order consequences in dependence logic
• Correspondence and Completeness for Generalized Quantifiers
• Characterizing quantifier extensions of dependence logic
• On natural deduction in dependence logic
• SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION

This page was built for publication: Dependence logic with generalized quantifiers: axiomatizations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2849428)