We stand with Ukraine  

Shawn Standefer

Orcid: 0000-0002-3032-5290

According to our database1, Shawn Standefer authored at least 18 papers between 2015 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Collection Frames for Distributive Substructural Logics.
[BibTeX]
[DOI]
Greg Restall
,
Shawn Standefer
Rev. Symb. Log., December, 2023

Weak relevant justification logics.
[BibTeX]
[DOI]
Shawn Standefer
J. Log. Comput., October, 2023

A Substructural Approach to Explicit Modal Logic.
[BibTeX]
[DOI]
Shawn Standefer
J. Log. Lang. Inf., 2023

Hyperintensionality in Relevant Logics.
[BibTeX]
[DOI]
Shawn Standefer
Proceedings of the Logic, Rationality, and Interaction - 9th International Workshop, 2023

2022
What is a Relevant Connective?
[BibTeX]
[DOI]
Shawn Standefer
J. Philos. Log., 2022

2021
Translations between linear and Tree Natural Deduction Systems for Relevant Logics.
[BibTeX]
[DOI]
Shawn Standefer
Rev. Symb. Log., 2021

An Incompleteness Theorem for Modal Relevant Logics.
[BibTeX]
[DOI]
Shawn Standefer
Notre Dame J. Formal Log., 2021

Identity in Mares-Goldblatt Models for Quantified Relevant Logic.
[BibTeX]
[DOI]
Shawn Standefer
J. Philos. Log., 2021

2019
Translations Between Gentzen-Prawitz and Jaśkowski-Fitch Natural Deduction Proofs.
[BibTeX]
[DOI]
Shawn Standefer
Stud Logica, 2019

Guest Editors' Introduction.
[BibTeX]
[DOI]
Riccardo Bruni
,
Shawn Standefer
J. Philos. Log., 2019

Tracking reasons with extensions of relevant logics.
[BibTeX]
[DOI]
Shawn Standefer
Log. J. IGPL, 2019

2018
Intersubstitutivity principles and the generalization function of truth.
[BibTeX]
[DOI]
Anil Gupta
,
Shawn Standefer
Synth., 2018

Proof Theory for Functional Modal Logic.
[BibTeX]
[DOI]
Shawn Standefer
Stud Logica, 2018

Trees for E.
[BibTeX]
[DOI]
Shawn Standefer
Log. J. IGPL, 2018

2017
Conditionals in Theories of Truth.
[BibTeX]
[DOI]
Anil Gupta
,
Shawn Standefer
J. Philos. Log., 2017

The Relevant Logic E and Some Close Neighbours: A Reinterpretation.
[BibTeX]
[DOI]
Edwin D. Mares
,
Shawn Standefer
FLAP, 2017

Non-triviality Done Proof-Theoretically.
[BibTeX]
[DOI]
Rohan French
,
Shawn Standefer
Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

2015
Solovay-Type theorems for circular Definitions.
[BibTeX]
[DOI]
Shawn Standefer
Rev. Symb. Log., 2015


  Loading...