Characterizing quantifier extensions of dependence logic
From MaRDI portal
Publication:4916562
DOI10.2178/jsl.7801210zbMath1273.03134arXiv1202.5247MaRDI QIDQ4916562
Juha Kontinen, Fredrik Engström
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
dependence logic; generalized quantifiers; independence logic; quantifier extensions of existential second-order logic