L omega 1, omega is Enough: A Reduction Theorem for Some Infinitary Languages. - Gonzalo E. Reyes (J. Symb. Log., 1972)

A Topos-Theoretic Approach to Reference and Modality. - Gonzalo E. Reyes (Notre Dame J. Formal Log., 1991)

Formal systems for modal operators on locales. - Gonzalo E. Reyes; Marek W. Zawadowski (Stud Logica, 1993)

Functoriality and Grammatical Role in Syllogisms. - Marie La Palme Reyes; John Macnamara; Gonzalo E. Reyes (Notre Dame J. Formal Log., 1994)

Completeness Results for Intuitionistic and Modal Logic in a Categorical Setting. - Michael Makkai; Gonzalo E. Reyes (Ann. Pure Appl. Log., 1995)

Bi-Heyting algebras, toposes and modalities. - Gonzalo E. Reyes; Houman Zolfaghari (J. Philos. Log., 1996)

Completeness Theorems via the Double Dual Functor. - Adriana Galli; Marta Sagastume; Gonzalo E. Reyes (Stud Logica, 2000)

Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic. - Adriana Galli; Gonzalo E. Reyes; Marta Sagastume (Fuzzy Sets Syst., 2003)

The History of Categorical Logic: 1963-1977. - Jean-Pierre Marquis; Gonzalo E. Reyes (Sets and Extensions in the Twentieth Century, 2012)

A Mathematical Analysis of Masaccio's Trinity. - Gonzalo E. Reyes (Categories and Types in Logic, Language, and Physics, 2014)