  A related topic is the study of extensions of Dependence Logic via generalized quantifiers (Engström 2012). An interesting result along these lines consists in axiomatization for the extension of Dependence Logic via the quantifier \(Q\) “there exist uncountably many…”, which is sound and complete for the \(\textbf{FO}(Q)\) consequences of a theory (Engström, Kontinen &amp; Väänänen 2017).