A Note on Naive Set Theory in LP. - Greg Restall (Notre Dame J. Formal Log., 1992)

Simplified semantics for relevant logics (and some of their rivals). - Greg Restall (J. Philos. Log., 1993)

How to be really contraction free. - Greg Restall (Stud Logica, 1993)

A Useful Substructural Logic. - Greg Restall (Bull. IGPL, 1994)

Subintuitionistic Logics. - Greg Restall (Notre Dame J. Formal Log., 1994)

Realistic Belief Revision. - Greg Restall; John K. Slaney (WOCFAI, 1995)

Four-valued semantics for relevant logics (and some of their rivals). - Greg Restall (J. Philos. Log., 1995)

Display Logic and Gaggle Theory. - Greg Restall (Reports Math. Log., 1995)

Ways Things Can't Be. - Greg Restall (Notre Dame J. Formal Log., 1997)

Combining Possibilities and Negations. - Greg Restall (Stud Logica, 1997)

Displaying and Deciding Substructural Logics 1: Logics with Contraposition. - Greg Restall (J. Philos. Log., 1998)

Defining Double Negation Elimination. - Greg Restall (Log. J. IGPL, 2000)

Paraconsistency Everywhere. - Greg Restall (Notre Dame J. Formal Log., 2002)

Book Review: Achille C. Varzi, editor, The Nature of Logic, European Review of Philosophy. - Greg Restall (Stud Logica, 2003)

Routes to Triviality. - Susan Rogerson; Greg Restall (J. Philos. Log., 2004)

Logical Pluralism and the Preservation of Warrant. - Greg Restall (Logic, Epistemology, and the Unity of Science, 2004)

The geometry of non-distributive logics. - Francesco Paoli; Greg Restall (J. Symb. Log., 2005)

Relevant Restricted Quantification. - J. C. Beall; Ross T. Brady; Allen Hazen; Graham Priest; Greg Restall (J. Philos. Log., 2006)

Relevant and substructural logics. - Greg Restall (Logic and the Modalities in the Twentieth Century, 2006)

Modal Models for Bradwardine's Theory of Truth. - Greg Restall (Rev. Symb. Log., 2008)

Models for Liars in Bradwardine's Theory of Truth. - Greg Restall (Unity, Truth and the Liar, 2008)

On Permutation in Simplified Semantics. - Greg Restall; Tony Roy (J. Philos. Log., 2009)

Truth Values and Proof Theory. - Greg Restall (Stud Logica, 2009)

Relevant Agents. - Marta Bílková; Ondrej Majer; Michal Pelis; Greg Restall (Advances in Modal Logic, 2010)

A cut-free sequent system for two-dimensional modal logic, and why it matters. - Greg Restall (Ann. Pure Appl. Log., 2012)

On the Ternary Relation and Conditionality. - J. C. Beall; Ross T. Brady; J. Michael Dunn; Allen Hazen; Edwin D. Mares; Robert K. Meyer; Graham Priest; Greg Restall; David Ripley; John K. Slaney; Richard Sylvan (J. Philos. Log., 2012)

A History of The Consequence Relations. - Conrad Asmus; Greg Restall (Logic: A History of its Central Concepts, 2012)

Anti-realist Classical Logic and Realist Mathematics. - Greg Restall (The Realism-Antirealism Debate in the Age of Alternative Logics, 2012)

Editorial: Special issue on non-classical mathematics. - Libor Behounek; Greg Restall; Giovanni Sambin (Log. J. IGPL, 2013)

Assertion, Denial and Non-classical Theories. - Greg Restall (Paraconsistency: Logic and Applications, 2013)

Normal Proofs, Cut Free Derivations and Structural Rules. - Greg Restall (Stud Logica, 2014)

Negation on the Australian Plan. - Francesco Berto; Greg Restall (J. Philos. Log., 2019)

Generality and existence 1: Quantification and Free Logic. - Greg Restall (Rev. Symb. Log., 2019)

Collection Frames for Distributive Substructural Logics. - Greg Restall; Shawn Standefer (Rev. Symb. Log., 2023)