TY  - RPRT
TI  - Dependence Logic with Generalized Quantifiers: Axiomatizations
AU  - Fredrik Engström
AU  - Juha Kontinen
AU  - Jouko Väänänen
PY  - 2013
UR  - https://arxiv.org/abs/1304.0611
ID  - 1304.0611
ER  -