公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
2010 | Philosophical Aspects of Display Logic | SHAWN MICHAEL STANDEFER | The Logica Yearbook 2009 | |||
2018 | Proof Theory for Functional Modal Logic | SHAWN MICHAEL STANDEFER | Studia Logica | 4 | 4 | |
2020 | Proofs and Models in Naive Property Theory: A Response to Hartry Field's ‘Properties, Propositions and Conditionals’ | SHAWN MICHAEL STANDEFER ; Rohan French; Greg Restall | Australasian Philosophical Review | 0 | ||
2017 | THE RELEVANT LOGIC E AND SOME CLOSE NEIGHBOURS: A REINTERPRETATION | E. Mares; SHAWN MICHAEL STANDEFER | Journal of Applied Logics-Ifcolog Journal of Logics and Their Applications | |||
2015 | Review of Stewart Shapiro's Varieties of Logic | SHAWN MICHAEL STANDEFER | Notre Dame Philosophical Reviews | |||
2022 | Revisiting Semilattice Semantics | SHAWN MICHAEL STANDEFER | Outstanding Contributions to Logic | 2 | 0 | |
2015 | SOLOVAY-TYPE THEOREMS FOR CIRCULAR DEFINITIONS | SHAWN MICHAEL STANDEFER | Review of Symbolic Logic | 7 | 8 | |
2023 | A Substructural Approach to Explicit Modal Logic | SHAWN MICHAEL STANDEFER | JOURNAL OF LOGIC LANGUAGE AND INFORMATION | 0 | 1 | |
2013 | The Tarskian Turn: Deflationism and Axiomatic Truth | SHAWN MICHAEL STANDEFER | Philosophical Review | 0 | ||
2019 | Tracking reasons with extensions of relevant logics | SHAWN MICHAEL STANDEFER | Logic Journal of the IGPL | 8 | ||
2019 | Translations Between Gentzen–Prawitz and Jaśkowski–Fitch Natural Deduction Proofs | SHAWN MICHAEL STANDEFER | Studia Logica | 2 | 2 | |
2021 | Translations between linear and tree natural deduction systems for relevant logics | SHAWN MICHAEL STANDEFER | Review of Symbolic Logic | 0 | 0 | |
2018 | Trees for E | SHAWN MICHAEL STANDEFER | Logic Journal of the {IGPL} | 2 | ||
2013 | Truth, semantic closure, and conditionals | SHAWN MICHAEL STANDEFER | PhD Thesis. University of Pittsburgh. | |||
2022 | Varieties of Relevant S5 | SHAWN MICHAEL STANDEFER | LOGIC AND LOGICAL PHILOSOPHY | 0 | 0 | |
2022 | Weak relevant justification logics | SHAWN MICHAEL STANDEFER | JOURNAL OF LOGIC AND COMPUTATION | 1 | 1 | |
2022 | What is a Relevant Connective? | SHAWN MICHAEL STANDEFER | JOURNAL OF PHILOSOPHICAL LOGIC | 2 | 2 | |
2011 | What Is Wrong with the Tarskian Theory of Truth? | SHAWN MICHAEL STANDEFER | The Logica Yearbook 2010 |