Shawn Standefer

23 papers Journal 21Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Symmetry and Completeness in Relevant Epistemic Logic.
J. Philos. Log.
Shawn Standefer, Edwin D. Mares
2025 J jnl
Topics, non-Uniform Substitutions, and variable Sharing.
Rev. Symb. Log.
Shawn Standefer, Shay Allen Logan, Thomas M. Ferguson
2023 J jnl
A Substructural Approach to Explicit Modal Logic.
J. Log. Lang. Inf.
Shawn Standefer
2023 J jnl
Collection Frames for Distributive Substructural Logics.
Rev. Symb. Log.
Greg Restall, Shawn Standefer
2023 — conf
Hyperintensionality in Relevant Logics.
LORI
Shawn Standefer
2023 J jnl
Weak relevant justification logics.
J. Log. Comput.
Shawn Standefer
2022 J jnl
What is a Relevant Connective?
J. Philos. Log.
Shawn Standefer
2021 J jnl
An Incompleteness Theorem for Modal Relevant Logics.
Notre Dame J. Formal Log.
Shawn Standefer
2021 J jnl
Identity in Mares-Goldblatt Models for Quantified Relevant Logic.
J. Philos. Log.
Shawn Standefer
2021 J jnl
Translations between linear and Tree Natural Deduction Systems for Relevant Logics.
Rev. Symb. Log.
Shawn Standefer
2019 J jnl
Guest Editors' Introduction.
J. Philos. Log.
Riccardo Bruni, Shawn Standefer
2019 J jnl
Tracking reasons with extensions of relevant logics.
Log. J. IGPL
Shawn Standefer
2019 J jnl
Translations Between Gentzen-Prawitz and Jaśkowski-Fitch Natural Deduction Proofs.
Stud Logica
Shawn Standefer
2018 J jnl
Intersubstitutivity principles and the generalization function of truth.
Synth.
Anil Gupta, Shawn Standefer
2018 J jnl
Proof Theory for Functional Modal Logic.
Stud Logica
Shawn Standefer
2018 J jnl
Trees for E.
Log. J. IGPL
Shawn Standefer
2017 J jnl
Conditionals in Theories of Truth.
J. Philos. Log.
Anil Gupta, Shawn Standefer
2017 J jnl
Non-Classical Circular Definitions.
Australas. J. Log.
Shawn Standefer
2017 — conf
Non-triviality Done Proof-Theoretically.
LORI
Rohan French, Shawn Standefer
2017 J jnl
The Relevant Logic E and Some Close Neighbours: A Reinterpretation.
FLAP
Edwin D. Mares, Shawn Standefer
2016 J jnl
Contraction and revision.
Australas. J. Log.
Shawn Standefer
2015 J jnl
On Artifacts and Truth-Preservation.
Australas. J. Log.
Shawn Standefer
2015 J jnl
Solovay-Type theorems for circular Definitions.
Rev. Symb. Log.
Shawn Standefer