Works (66)

Updated: February 28th, 2026 02:06

2025 journal article

Failures of $$\gamma $$

Studia Logica, 7.

By: T. Øgaard & S. Standefer*

topics (OpenAlex): Computability, Logic, AI Algorithms; Rough Sets and Fuzzy Logic; AI-based Problem Solving and Planning
Sources: ORCID, Crossref, NC State University Libraries
Added: July 7, 2025

2025 conference paper

Making necessity relevant

World Logic Day event, Logic Society of Delhi. Presented at the Logic Society of Delhi.

By: S. Standefer

Source: NC State University Libraries
Added: July 13, 2025

2025 book

New Directions in Relevant Logic

In I. Sedlár, S. Standefer, & A. Tedder (Eds.), Trends in Logic.

By: I. Sedlár, S. Standefer* & A. Tedder

Ed(s): I. Sedlár, S. Standefer* & A. Tedder

topics (OpenAlex): Logic, Reasoning, and Knowledge
Sources: Crossref, NC State University Libraries
Added: July 13, 2025

2025 article

On the hyperintensionality of relevant logics and some of their rivals

Standefer, S. (2025, October 7). Synthese, Vol. 206.

By: S. Standefer n

author keywords: Relevant logics; Hyperintensionality; HYPE; Extensionality
topics (OpenAlex): Logic, Reasoning, and Knowledge; Advanced Algebra and Logic; Logic, programming, and type systems
Sources: Web Of Science, NC State University Libraries
Added: October 21, 2025

2025 conference paper

Relevant deontic logic revisited

Conference on Non-Classical Modal Logics. Presented at the Conference on Non-Classical Modal Logics, National Taiwan University, Taipei, Taiwan.

By: S. Standefer

Source: NC State University Libraries
Added: July 13, 2025

2025 journal article

Should atheists be worried about modal Calvinist epistemology?

Religious Studies, 6, 1–17.

By: L. Chan & S. Standefer*

topics (OpenAlex): Epistemology, Ethics, and Metaphysics; Theology and Philosophy of Evil; Political Philosophy and Ethics
Sources: Crossref, NC State University Libraries
Added: July 8, 2025

2025 journal article

Symmetry and Completeness in Relevant Epistemic Logic

Journal of Philosophical Logic, 54(2), 429–450.

By: S. Standefer* & E. Mares

topics (OpenAlex): Logic, Reasoning, and Knowledge; Advanced Algebra and Logic; Logic, programming, and type systems
Sources: ORCID, Crossref, NC State University Libraries
Added: July 7, 2025

2025 article

TOPICS, NON-UNIFORM SUBSTITUTIONS, AND VARIABLE SHARING

Standefer, S., Logan, S., & Ferguson, T. (2025, July 10). The Review of Symbolic Logic.

By: S. Standefer*, S. Logan & T. Ferguson

topics (OpenAlex): Advanced Database Systems and Queries; Logic, programming, and type systems; Constraint Satisfaction and Optimization
Source: ORCID
Added: July 10, 2025

2025 chapter

Variable-Sharing as Relevance

In I. Sedlár, S. Standefer, & A. Tedder (Eds.), New Directions in Relevant Logic (pp. 97–117).

By: S. Standefer*

Ed(s): I. Sedlár, S. Standefer* & A. Tedder

topics (OpenAlex): Logic, Reasoning, and Knowledge; Semantic Web and Ontologies; Logic, programming, and type systems
Sources: Crossref, NC State University Libraries, NC State University Libraries
Added: July 13, 2025

2024 conference paper

Ignorance and the possibility of error in relevant epistemic logic

Sixth Asian Workshop on Philosophical Logic 2024. Keynote presented at the Sixth Asian Workshop on Philosophical Logic 2024, Hokkaido University, Sapporo, Japan.

By: S. Standefer

Source: NC State University Libraries
Added: July 13, 2025

2024 chapter book

Introduction: Directions and New Directions

By: I. Sedlár, S. Standefer* & A. Tedder

topics (OpenAlex): Logic, Reasoning, and Knowledge; Philosophy and Theoretical Science
Sources: Crossref, NC State University Libraries
Added: July 13, 2025

2024 conference paper

On Variable-sharing

Variable-Sharing and Its Discontents Conference. Presented at the Variable-Sharing and Its Discontents Conference, Rensselaer Polytechnic Institute, Troy, USA.

By: S. Standefer

Source: NC State University Libraries
Added: July 13, 2025

2024 conference paper

On Variable-sharing

Pukeko Workshop on Non-Classical Logics. Presented at the Pukeko Workshop on Non-Classical Logics, Victoria University of Wellington, Wellington, New Zealand.

By: S. Standefer

Source: NC State University Libraries
Added: July 13, 2025

2024 conference paper

Relevant deontic logic revisited

Kyoto-Taipei Workshop on Logic of Agent. Presented at the Kyoto-Taipei Workshop on Logic of Agent, National Taiwan University, Taipei, Taiwan.

By: S. Standefer

Source: NC State University Libraries
Added: July 13, 2025

2024 journal article

Routes to relevance: Philosophies of relevant logics

Philosophy Compass, 19(2).

By: S. Standefer*

topics (OpenAlex): Logic, Reasoning, and Knowledge; Logic, programming, and type systems; Philosophy and History of Science
Sources: ORCID, Crossref, NC State University Libraries
Added: July 7, 2025

2024 conference paper

Universal Necessity and Deep Classicality

Taiwan Association for Logic, Methodology and Philosophy of Science and Technology Conference. Presented at the Taiwan Association for Logic, Methodology and Philosophy of Science and Technology Conference, Academica Sinica, Taipei, Taiwan.

By: S. Standefer

Source: NC State University Libraries
Added: July 13, 2025

2024 conference paper

Universal Necessity, Scroggs Properties, and Deep Classicality

The 2nd Third Workshop. Presented at the The 2nd Third Workshop, University of Alberta, Edmonton, Canada.

By: S. Standefer

Source: NC State University Libraries
Added: July 13, 2025

2023 conference paper

Extensionality in Non-Classical Logics

Taiwan Philosophical Association Conference. Presented at the Taiwan Philosophical Association Conference, Sun Yat-Sen University, Kaohsiung, Taiwan.

By: S. Standefer

Source: NC State University Libraries
Added: July 13, 2025

2023 conference paper

Extensionality in Non-Classical Logics

Special Session on Philosophical Logic, 17th Asian Logic Conference. Presented at the 17th Asian Logic Conference, Nankai University, Tianjin, China.

By: S. Standefer

Source: NC State University Libraries
Added: July 13, 2025

2023 conference paper

Extensionality, intensionality, and hyperintensionality in non-classical logics

Taiwan Association for Logic, Methodology and Philosophy of Science and Technology Conference. Presented at the Taiwan Association for Logic, Methodology and Philosophy of Science and Technology Conference, National Taiwan University, Taipei, Taiwan.

By: S. Standefer

Source: NC State University Libraries
Added: July 13, 2025

2023 conference paper

Extensionality, intensionality, and hyperintensionality in non-classical logics

Logic, Reasoning, and Justification Workshop. Presented at the Logic, Reasoning, and Justification Workshop, University of Bergen, Bergen, Norway.

By: S. Standefer

Source: NC State University Libraries
Added: July 13, 2025

2023 journal article

Getting some (non-classical) closure with justification logic

Asian Journal of Philosophy, 2(2).

By: S. Standefer*, T. Shear* & R. French*

topics (OpenAlex): Logic, Reasoning, and Knowledge; Semantic Web and Ontologies; Multi-Agent Systems and Negotiation
Sources: ORCID, Crossref, NC State University Libraries
Added: July 7, 2025

2023 conference paper

Hyperintensionality in relevant logics

Logic, Rationality, and Interaction 9, LORI 2023. Presented at the Logic, Rationality, and Interaction 9, LORI 2023, Shandong University, Jinan, China.

By: S. Standefer

Source: NC State University Libraries
Added: July 13, 2025

2023 chapter

Hyperintensionality in Relevant Logics

In N. Alechina, A. Herzig, & F. Liang (Eds.), Logic, Rationality, and Interaction (pp. 238–250).

By: S. Standefer*

Ed(s): N. Alechina, A. Herzig & F. Liang

topics (OpenAlex): Advanced Algebra and Logic; Logic, Reasoning, and Knowledge; Logic, programming, and type systems
Source: Crossref
Added: July 13, 2025

2023 conference paper

Indistinguishability and knowledge in relevant epistemic logic

Fifth Taiwan Philosophical Logic Colloquium. Presented at the Fifth Taiwan Philosophical Logic Colloquium, National Taiwan University, Taipei, Taiwan.

By: S. Standefer

Source: NC State University Libraries
Added: July 13, 2025

2023 conference paper

Indistinguishability and knowledge in relevant epistemic logic

Veritas Philosophy Workshop. Presented at the Veritas Philosophy Workshop, Yonsei University, Seoul, South Korea.

By: S. Standefer

Source: NC State University Libraries
Added: July 13, 2025

2023 book

Logical Methods

Boston, Massachusetts: MIT Press.

By: S. Standefer & G. Restall

Source: NC State University Libraries
Added: July 13, 2025

2023 conference paper

Making necessity relevant

Language and Linguistics Research Cluster's International Speaker Series. Presented at the Language and Linguistics Research Cluster's International Speaker Series, National University of Singapore, Singapore.

By: S. Standefer

Source: NC State University Libraries
Added: July 13, 2025

2022 journal article

A Substructural Approach to Explicit Modal Logic

Journal of Logic, Language and Information, 32(2), 333–362.

By: S. Standefer*

topics (OpenAlex): Logic, Reasoning, and Knowledge; Advanced Algebra and Logic; Logic, programming, and type systems
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
11. Sustainable Cities and Communities (OpenAlex)
Sources: ORCID, Crossref, NC State University Libraries
Added: July 7, 2025

2022 journal article

COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS

The Review of Symbolic Logic, 16(4), 1120–1157.

By: G. Restall* & S. Standefer*

topics (OpenAlex): Advanced Algebra and Logic; Logic, Reasoning, and Knowledge; Logic, programming, and type systems
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
9. Industry, Innovation and Infrastructure (OpenAlex)
Sources: ORCID, Crossref, NC State University Libraries
Added: July 7, 2025

2022 chapter

Completeness via metacompleteness

In K. Bimbo (Ed.), Relevance Logics and other Tools for Reasoning: Essays in Honor of J. Michael Dunn (pp. 394–409). College Publications.

By: S. Standefer

Ed(s): K. Bimbo

Source: NC State University Libraries
Added: July 13, 2025

2022 conference paper

Extensionality, intensionality, and hyperintensionality in relevant logics

Logic Workshop. Presented at the Logic Workshop, National Chung Cheng University, Chiayi, Taiwan.

By: S. Standefer

Source: NC State University Libraries
Added: July 13, 2025

2022 conference paper

Routes to relevant logics

Taiwan Philosophical Association Conference 2022. Presented at the Taiwan Philosophical Association Conference 2022, National Chengchi University, Taipei, Taiwan.

By: S. Standefer

Source: NC State University Libraries
Added: July 13, 2025

2022 journal article

Varieties of Relevant S5

Logic and Logical Philosophy, 32(1), 53–80.

By: S. Standefer*

topics (OpenAlex): Logic, Reasoning, and Knowledge; Classical Philosophy and Thought; Logic, programming, and type systems
Sources: ORCID, Crossref, NC State University Libraries
Added: July 7, 2025

2022 journal article

Weak relevant justification logics

Journal of Logic and Computation, 33(7), 1665–1683.

By: S. Standefer*

topics (OpenAlex): Logic, Reasoning, and Knowledge; Logic, programming, and type systems; Semantic Web and Ontologies
Sources: ORCID, Crossref, NC State University Libraries
Added: July 7, 2025

2022 journal article

What is a Relevant Connective?

Journal of Philosophical Logic, 51(4), 919–950.

By: S. Standefer*

topics (OpenAlex): Logic, Reasoning, and Knowledge; Advanced Algebra and Logic; Logic, programming, and type systems
Sources: ORCID, Crossref, NC State University Libraries
Added: July 7, 2025

2021 journal article

An Incompleteness Theorem for Modal Relevant Logics

Notre Dame Journal of Formal Logic, 62(4).

By: S. Standefer*

topics (OpenAlex): Logic, Reasoning, and Knowledge; Advanced Algebra and Logic; Logic, programming, and type systems
Sources: ORCID, Crossref, NC State University Libraries
Added: July 7, 2025

2021 journal article

Identity in Mares-Goldblatt Models for Quantified Relevant Logic

Journal of Philosophical Logic, 50(6), 1389–1415.

By: S. Standefer*

topics (OpenAlex): Logic, Reasoning, and Knowledge; Advanced Algebra and Logic; Bayesian Modeling and Causal Inference
Sources: ORCID, Crossref, NC State University Libraries
Added: July 7, 2025

2021 chapter

Revisiting Semilattice Semantics

In I. Düntsch & E. Mares (Eds.), Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs (pp. 243–259).

By: S. Standefer*

Ed(s): I. Düntsch & E. Mares

topics (OpenAlex): Logic, Reasoning, and Knowledge; Advanced Algebra and Logic; Semantic Web and Ontologies
Sources: ORCID, Crossref, NC State University Libraries
Added: July 7, 2025

2021 journal article

TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS

The Review of Symbolic Logic, 14(2), 285–306.

By: S. Standefer*

topics (OpenAlex): Logic, programming, and type systems; Logic, Reasoning, and Knowledge; Advanced Database Systems and Queries
Sources: Crossref, NC State University Libraries
Added: July 8, 2025

2021 conference paper

Varieties of necessity in a non-classical setting

Bochum Research Colloquium on Logic and Epistemology. Presented at the Bochum Research Colloquium on Logic and Epistemology, Ruhr University Bochum, Bochum, Germany.

By: S. Standefer

Source: NC State University Libraries
Added: July 13, 2025

2021 conference paper

Varieties of non-classical necessity

BA Logic WIP Seminar, Argentinean Society of Philosophical Analysis (SADAF). Presented at the BA Logic WIP Seminar, Argentinean Society of Philosophical Analysis (SADAF), Buenos Aires, Argentina.

By: S. Standefer

Source: NC State University Libraries
Added: July 13, 2025

2020 journal article

Actual Issues for Relevant Logics

Ergo, an Open Access Journal of Philosophy, 7(20201214).

By: S. Standefer*

topics (OpenAlex): Logic, Reasoning, and Knowledge
Sources: ORCID, Crossref, NC State University Libraries
Added: July 7, 2025

2020 journal article

Proofs and Models in Naive Property Theory: A Response to Hartry Field's ‘Properties, Propositions and Conditionals’

Proofs and Models in Naive Property Theory: A Response to Hartry Field's ‘Properties, Propositions and Conditionals.’ Australasian Philosophical Review, 4(2), 162–177.

By: S. Standefer*, R. French* & G. Restall*

topics (OpenAlex): Philosophy and Theoretical Science; Philosophy and History of Science; Logic, programming, and type systems
Sources: ORCID, Crossref, NC State University Libraries
Added: July 7, 2025

2019 journal article

Tracking reasons with extensions of relevant logics

Logic Journal of the IGPL, 27(4), 543–569.

By: S. Standefer*

topics (OpenAlex): Logic, Reasoning, and Knowledge; Semantic Web and Ontologies; Multi-Agent Systems and Negotiation
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions (OpenAlex)
Sources: Crossref, NC State University Libraries
Added: July 8, 2025

2018 article

From Rules to Meanings

Hjortland, O., & Standefer, S. (2018, January 31). From Rules to Meanings: New Essays on Inferentialism, pp. 115–140.

By: O. Hjortland & S. Standefer

Contributors: O. Hjortland & S. Standefer

topics (OpenAlex):
Source: ORCID
Added: July 7, 2025

2018 journal article

Guest Editors’ Introduction

Journal of Philosophical Logic, 48(1), 1–9.

By: R. Bruni* & S. Standefer*

Contributors: R. Bruni* & S. Standefer*

topics (OpenAlex): Philosophy and Theoretical Science
Sources: ORCID, Crossref, NC State University Libraries
Added: July 7, 2025

2018 article

Inferentialism, Structure, and Conservativeness

Hjortland, O., & Standefer, S. (2018, January 31). From Rules to Meanings, pp. 115–140.

By: O. Hjortland & S. Standefer*

topics (OpenAlex): Philosophy, Science, and History; Political Philosophy and Ethics
Source: ORCID
Added: July 7, 2025

2018 journal article

Natural Deduction Systems for E

[JB]. Logique Et Analyse, 61(0), 163–182.

By: S. Standefer & R. Brady

Contributors: S. Standefer & R. Brady

topics (OpenAlex):
Sources: ORCID, Crossref, NC State University Libraries
Added: July 7, 2025

2018 journal article

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

Studia Logica, 107(6), 1103–1134.

By: S. Standefer*

Contributors: S. Standefer*

topics (OpenAlex): Logic, Reasoning, and Knowledge; Logic, programming, and type systems; Advanced Algebra and Logic
Sources: ORCID, Crossref, NC State University Libraries
Added: July 7, 2025

2018 journal article

Trees for E

Logic Journal of the IGPL, 26(3), 300–315.

By: S. Standefer*

topics (OpenAlex): Logic, programming, and type systems; Advanced Algebra and Logic; Logic, Reasoning, and Knowledge
Sources: ORCID, Crossref, NC State University Libraries
Added: July 7, 2025

2017 journal article

Intersubstitutivity principles and the generalization function of truth

Synthese, 195(3), 1065–1075.

By: A. Gupta* & S. Standefer*

Contributors: A. Gupta* & S. Standefer*

topics (OpenAlex): Philosophy and Theoretical Science
Sources: ORCID, Crossref, NC State University Libraries
Added: July 7, 2025

2017 journal article

Non-Classical Circular Definitions

The Australasian Journal of Logic, 14(1).

By: S. Standefer*

topics (OpenAlex): Algebraic Geometry and Number Theory; Algebraic structures and combinatorial models; Advanced Algebra and Geometry
Sources: ORCID, Crossref, NC State University Libraries
Added: July 7, 2025

2017 chapter

Non-triviality Done Proof-Theoretically

In Lecture Notes in Computer Science: Vol. 10455. Logic, Rationality, and Interaction (pp. 438–450).

By: R. French & S. Standefer*

Contributors: R. French & S. Standefer*

topics (OpenAlex): Philosophy and Theoretical Science; Computability, Logic, AI Algorithms; Logic, Reasoning, and Knowledge
Sources: ORCID, Crossref, NC State University Libraries
Added: July 7, 2025

2017 journal article

Proof Theory for Functional Modal Logic

Studia Logica, 106(1), 49–84.

By: S. Standefer*

Contributors: S. Standefer*

topics (OpenAlex): Logic, programming, and type systems; Logic, Reasoning, and Knowledge; Advanced Algebra and Logic
Sources: ORCID, Crossref, NC State University Libraries
Added: July 7, 2025

2017 journal article

The Relevant Logic E and Some Close Neighbours: A Reinterpretation

The IfColog Journal of Logics and Their Applications, 4(3), 695–730.

By: S. Standefer & E. Mares

Source: NC State University Libraries
Added: July 13, 2025

2016 journal article

Conditionals in Theories of Truth

Journal of Philosophical Logic, 46(1), 27–63.

By: A. Gupta* & S. Standefer*

Contributors: A. Gupta* & S. Standefer*

topics (OpenAlex): Philosophy and Theoretical Science; Logic, Reasoning, and Knowledge; Philosophy and History of Science
Sources: ORCID, Crossref, NC State University Libraries
Added: July 7, 2025

2016 journal article

Contraction and Revision

Australasian Journal of Logic, 13(3), 58–77. http://ojs.victoria.ac.nz/ajl/article/view/3935

By: S. Standefer

Source: ORCID
Added: July 7, 2025

2016 journal article

Contraction and revision

The Australasian Journal of Logic, 13(3), 58–77.

By: S. Standefer*

topics (OpenAlex): Logic, Reasoning, and Knowledge; Philosophy and Theoretical Science; Epistemology, Ethics, and Metaphysics
Sources: ORCID, Crossref, NC State University Libraries
Added: July 7, 2025

2015 journal article

On Artifacts and Truth-Preservation

The Australasian Journal of Logic, 12(3), 135–158.

By: S. Standefer*

topics (OpenAlex): Philosophy and Theoretical Science; Philosophy and History of Science; Epistemology, Ethics, and Metaphysics
Sources: ORCID, Crossref, NC State University Libraries
Added: July 7, 2025

2015 journal article

On Artifacts and Truth-Preservation

Australasian Journal of Logic, 12(3), 135–158. http://ojs.victoria.ac.nz/ajl/article/view/2045

By: S. Standefer

Source: ORCID
Added: July 7, 2025

2015 book review

Review of Stewart Shapiro's Varieties of Logic

[Review of ]. Notre Dame Philosophical Reviews, 2015. http://ndpr.nd.edu/news/58009-varieties-of-logic/

By: S. Standefer

Source: ORCID
Added: July 7, 2025

2015 journal article

SOLOVAY-TYPE THEOREMS FOR CIRCULAR DEFINITIONS

The Review of Symbolic Logic, 8(3), 467–487.

By: S. Standefer*

Contributors: S. Standefer*

topics (OpenAlex): Logic, Reasoning, and Knowledge; Philosophy and Theoretical Science; Logic, programming, and type systems
Sources: ORCID, Crossref, NC State University Libraries
Added: July 7, 2025

2013 journal article

The Tarskian Turn: Deflationism and Axiomatic Truth

The Philosophical Review, 122(1), 144–147.

By: S. Standefer*

topics (OpenAlex): Political Economy and Marxism
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
10. Reduced Inequalities (OpenAlex)
Sources: ORCID, Crossref, NC State University Libraries
Added: July 7, 2025

2010 journal article

What Is Wrong with the Tarskian Theory of Truth?

The Logica Yearbook, 269–281.

By: S. Standefer

Ed(s): M. Pelis

Source: NC State University Libraries
Added: July 13, 2025

2009 chapter

Philosophical Aspects of Display Logic

In M. Pelis (Ed.), The Logica Yearbook 2009 (pp. 283–296). College Publications.

By: S. Standefer

Ed(s): M. Pelis

Source: NC State University Libraries
Added: July 13, 2025

Employment

Updated: July 7th, 2025 11:01

2025 - present

North Carolina State University Raleigh, North Carolina, US
Assistant Professor Philosophy & Religious Studies

2021 - 2025

National Taiwan University Taipei, Taipei, TW
Assistant Professor Philosophy

2015 - 2020

University of Melbourne Parkville, VIC, AU
Postdoctoral fellow School of Historical and Philosophical Studies, Philosophy

2015 - 2015

Auburn University Auburn, AL, US
Lecturer Philosophy

2013 - 2014

University of Pittsburgh Pittsburgh, PA, US
Visiting instructor Philosophy

Education

Updated: February 1st, 2017 23:02

2006 - 2013

University of Pittsburgh Pittsburgh, PA, US
PhD Philosophy

2005 - 2006

Stanford University Stanford, CA, US
MA Philosophy

Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.

Certain data included herein are derived from the Web of Science© and InCites© (2026) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.