Dependence logic with generalized quantifiers: axiomatizations

From MaRDI portal
Publication:2361348