A Characterization of Monotonicity with Collective Quantifiers. - Gilad Ben-Avi; Yoad Winter (FGMOL, 2001)

Monotonicity and Collective Quantification. - Gilad Ben-Avi; Yoad Winter (J. Log. Lang. Inf., 2003)

Scope Dominance with Monotone Quantifiers over Finite Domains. - Gilad Ben-Avi; Yoad Winter (J. Log. Lang. Inf., 2004)

Types and meanings in intensionality, selection and quantifier scope. - Gilad Ben-Avi (2007)

Scope Dominance with Generalized Quantifiers. - Gilad Ben-Avi; Yoad Winter (Languages: From Formal to Natural, 2009)

Proof-Theoretic Semantics for Subsentential Phrases. - Nissim Francez; Roy Dyckhoff; Gilad Ben-Avi (Stud Logica, 2010)

Proof-Theoretic Semantic Values for Logical operators. - Nissim Francez; Gilad Ben-Avi (Rev. Symb. Log., 2011)

Proof-Theoretic Reconstruction of Generalized Quantifiers. - Nissim Francez; Gilad Ben-Avi (J. Semant., 2015)