Shawn Standefer

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 17

Top Topics

Highly Relevant

Natural Deduction

Top Venues

J. Philos. Log.

Rev. Symb. Log.

Publications

Shawn Standefer
A Substructural Approach to Explicit Modal Logic. J. Log. Lang. Inf. 32 (2) (2023)
Shawn Standefer
Weak relevant justification logics. J. Log. Comput. 33 (7) (2023)
Shawn Standefer
Hyperintensionality in Relevant Logics. LORI (2023)
Greg Restall, Shawn Standefer
Collection Frames for Distributive Substructural Logics. Rev. Symb. Log. 16 (4) (2023)
Shawn Standefer
What is a Relevant Connective? J. Philos. Log. 51 (4) (2022)
Shawn Standefer
An Incompleteness Theorem for Modal Relevant Logics. Notre Dame J. Formal Log. 62 (4) (2021)
Shawn Standefer
Identity in Mares-Goldblatt Models for Quantified Relevant Logic. J. Philos. Log. 50 (6) (2021)
Shawn Standefer
Translations between linear and Tree Natural Deduction Systems for Relevant Logics. Rev. Symb. Log. 14 (2) (2021)
Shawn Standefer
Tracking reasons with extensions of relevant logics. Log. J. IGPL 27 (4) (2019)
Shawn Standefer
Translations Between Gentzen-Prawitz and Jaśkowski-Fitch Natural Deduction Proofs. Stud Logica 107 (6) (2019)
Riccardo Bruni, Shawn Standefer
Guest Editors' Introduction. J. Philos. Log. 48 (1) (2019)
Shawn Standefer
Proof Theory for Functional Modal Logic. Stud Logica 106 (1) (2018)
Shawn Standefer
Trees for E. Log. J. IGPL 26 (3) (2018)
Anil Gupta, Shawn Standefer
Intersubstitutivity principles and the generalization function of truth. Synth. 195 (3) (2018)
Edwin D. Mares, Shawn Standefer
The Relevant Logic E and Some Close Neighbours: A Reinterpretation. FLAP 4 (3) (2017)
Rohan French, Shawn Standefer
Non-triviality Done Proof-Theoretically. LORI (2017)
Anil Gupta, Shawn Standefer
Conditionals in Theories of Truth. J. Philos. Log. 46 (1) (2017)
Shawn Standefer
Solovay-Type theorems for circular Definitions. Rev. Symb. Log. 8 (3) (2015)