Solovay-Type theorems for circular Definitions. - Shawn Standefer (Rev. Symb. Log., 2015)

Non-triviality Done Proof-Theoretically. - Rohan French; Shawn Standefer (LORI, 2017)

The Relevant Logic E and Some Close Neighbours: A Reinterpretation. - Edwin D. Mares; Shawn Standefer (FLAP, 2017)

Conditionals in Theories of Truth. - Anil Gupta; Shawn Standefer (J. Philos. Log., 2017)

Trees for E. - Shawn Standefer (Log. J. IGPL, 2018)

Proof Theory for Functional Modal Logic. - Shawn Standefer (Stud Logica, 2018)

Intersubstitutivity principles and the generalization function of truth. - Anil Gupta; Shawn Standefer (Synth., 2018)

Tracking reasons with extensions of relevant logics. - Shawn Standefer (Log. J. IGPL, 2019)

Guest Editors' Introduction. - Riccardo Bruni; Shawn Standefer (J. Philos. Log., 2019)

Translations Between Gentzen-Prawitz and Jaśkowski-Fitch Natural Deduction Proofs. - Shawn Standefer (Stud Logica, 2019)

Identity in Mares-Goldblatt Models for Quantified Relevant Logic. - Shawn Standefer (J. Philos. Log., 2021)

An Incompleteness Theorem for Modal Relevant Logics. - Shawn Standefer (Notre Dame J. Formal Log., 2021)

Translations between linear and Tree Natural Deduction Systems for Relevant Logics. - Shawn Standefer (Rev. Symb. Log., 2021)

What is a Relevant Connective? - Shawn Standefer (J. Philos. Log., 2022)

Hyperintensionality in Relevant Logics. - Shawn Standefer (LORI, 2023)

A Substructural Approach to Explicit Modal Logic. - Shawn Standefer (J. Log. Lang. Inf., 2023)

Weak relevant justification logics. - Shawn Standefer (J. Log. Comput., 2023)

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

Symmetry and Completeness in Relevant Epistemic Logic. - Shawn Standefer; Edwin D. Mares (J. Philos. Log., 2025)