Shawn Standefer

According to our database, Shawn Standefer authored at least 23 papers between 2015 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Symmetry and Completeness in Relevant Epistemic Logic.

Shawn Standefer, Edwin D. Mares

J. Philos. Log., April, 2025

Topics, non-Uniform Substitutions, and variable Sharing.

Shawn Standefer, Shay Allen Logan, Thomas M. Ferguson

Rev. Symb. Log., 2025

2023

Collection Frames for Distributive Substructural Logics.

Greg Restall, Shawn Standefer

Rev. Symb. Log., December, 2023

Weak relevant justification logics.

Shawn Standefer

J. Log. Comput., October, 2023

A Substructural Approach to Explicit Modal Logic.

Shawn Standefer

J. Log. Lang. Inf., 2023

Hyperintensionality in Relevant Logics.

Shawn Standefer

Proceedings of the Logic, Rationality, and Interaction - 9th International Workshop, 2023

2022

What is a Relevant Connective?

Shawn Standefer

J. Philos. Log., 2022

2021

Translations between linear and Tree Natural Deduction Systems for Relevant Logics.

Shawn Standefer

Rev. Symb. Log., 2021

An Incompleteness Theorem for Modal Relevant Logics.

Shawn Standefer

Notre Dame J. Formal Log., 2021

Identity in Mares-Goldblatt Models for Quantified Relevant Logic.

Shawn Standefer

J. Philos. Log., 2021

2019

Translations Between Gentzen-Prawitz and Jaśkowski-Fitch Natural Deduction Proofs.

Shawn Standefer

Stud Logica, 2019

Guest Editors' Introduction.

Riccardo Bruni, Shawn Standefer

J. Philos. Log., 2019

Tracking reasons with extensions of relevant logics.

Shawn Standefer

Log. J. IGPL, 2019

2018

Intersubstitutivity principles and the generalization function of truth.

Anil Gupta, Shawn Standefer

Synth., 2018

Proof Theory for Functional Modal Logic.

Shawn Standefer

Stud Logica, 2018

Trees for E.

Shawn Standefer

Log. J. IGPL, 2018

2017

Conditionals in Theories of Truth.

Anil Gupta, Shawn Standefer

J. Philos. Log., 2017

The Relevant Logic E and Some Close Neighbours: A Reinterpretation.

Edwin D. Mares, Shawn Standefer

FLAP, 2017

Non-Classical Circular Definitions.

Shawn Standefer

Australas. J. Log., 2017

Non-triviality Done Proof-Theoretically.

Rohan French, Shawn Standefer

Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

2016

Contraction and revision.

Shawn Standefer

Australas. J. Log., 2016

2015

Solovay-Type theorems for circular Definitions.

Shawn Standefer

Rev. Symb. Log., 2015

On Artifacts and Truth-Preservation.

Shawn Standefer

Australas. J. Log., 2015