Department Affiliates
Department Activity
Also at Kansas State University
-
Shay Logan, Nondeterministic and nonconcurrent computational semantics for BB+ and related logicsJournal of Logic and Computation 1-20. forthcoming.
-
Shay Logan, Nonuniform Substitutions Can’t Get you From Classical Logic to any Traditional Relevant or Quasi-Relevant LogicAnalysis. forthcoming.
-
Nathan Kellen, Nathan Sheff, and Joshua Heter, Fallout and Philosophy (edited book)Wiley-Blackwell. forthcoming.
-
Will Stafford, Proof-Theoretic Validity isn’t Intuitionistic; So What?Australasian Journal of Philosophy. forthcoming.
-
Will Stafford, Thomas Piecha, and Peter Schroeder-Heister, Logics of Proof-Theoretic ValidityTopoi 1-19. forthcoming.
-
Dallas Amico-Korby, Maralee Harrell, and David Danks, Building Epistemically Healthier PlatformsEpisteme. forthcoming.
-
Dallas Amico-Korby, Maralee Harrell, and David Danks, Do It Yourself Content and the Wisdom of the CrowdsErkenntnis 1-29. forthcoming.
-
Shay Allen Logan and Francesca Boccuni, Frege meets Belnap: Basic Law V in a Relevant LogicIn Andrew Tedder, Shawn Standefer & Igor Sedlar (eds.), New Directions in Relevant Logic, Springer. pp. 381-404. 2025.
-
Shay Allen Logan, Semantics for Second Order Relevant LogicsIn Andrew Tedder, Shawn Standefer & Igor Sedlar (eds.), New Directions in Relevant Logic, Springer. 2025.
-
Shawn Standefer, Shay Logan, and Thomas Ferguson, Topics, Non-Uniform Substitutions, and Variable SharingReview of Symbolic Logic 18 (4). 2025.
-
Shay Logan and Blane Worley, Hyperformalism for Bunched Natural Deduction SystemsJournal of Philosophical Logic 54 (4): 767-792. 2025.
-
-
-
Dallas Amico-Korby, The Epistemic Organism: A Defense of Other-Regarding Epistemic ObligationsSynthese 206. 2025.
-
Graham Leach-Krouse, Shay Logan, and Blane Worley, Logic in the deep endAnalysis 84 (2): 282-291. 2024.
-
Graham Leach-Krouse, Solovay’s Theorem and the Unexpected ExaminationIn Mattia Petrolo & Giorgio Venturi (eds.), Paradoxes Between Truth and Proof, Springer Nature Switzerland. pp. 247-278. 2024.
-
Shay Allen Logan, Relevance LogicCambridge University Press. 2024.
-
Will Stafford, Thomas Piecha and Peter Schroeder-Heister. Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics. Studia Logica , vol. 107 (2019), no. 1, pp. 233–246. - Alexander V. Gheorghiu, Tao Gu and David J. Pym. Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic. Automated Reasoning with Analytic Tableaux and Related Methods, Revantha Ramanayake and Josef Urban, Lecture Notes in Computer Science, vol. 14278, Springer, Cham, pp. 367–385. - Hermógenes Oliveira. On Dummett’s Pragmatist Justification Procedure. Erkenntnis , vol. 86 (2021), no. 2, pp. 429–455 (review)Bulletin of Symbolic Logic 30 (3): 427-431. 2024.
-
Dallas Amico-Korby, Maralee Harrell, and David Danks, Environmental EpistemologySynthese 203 (81): 1-24. 2024.
-
Jon Mahoney, The Religion Clauses in the US Constitution: Some Debates on Liberty, Equality, and Religious FreedomВестник Казну, Серия Религиоведение 1. 2023.
-
Shay Logan, Correction to: Depth Relevance and HyperformalismJournal of Philosophical Logic 52 (4): 1235-1235. 2023.
-
Michael Calasso and Shay Allen Logan, Stratified Restricted UniversalsAsian Journal of Philosophy 2 (2): 44. 2023.
-
Thomas Ferguson and Shay Logan, Topic Transparency and Variable Sharing in Weak Relevant LogicsErkenntnis 90 (3): 1227-1254. 2023.
-
Roy T. Cook and Nathan Kellen, Just How Many “Lukes” Are There in A New Hope, Anyway?In Jason T. Eberl & Kevin S. Decker (eds.), Star Wars and Philosophy Strikes Back, Wiley-blackwell. 2023.
-
-
Andrew Arana and Will Stafford, On the difficulty of discovering mathematical proofsSynthese 202 (2): 1-29. 2023.
-
Will Stafford and Victor Barroso-Nascimento, Following all the rules: Intuitionistic completeness for generalized proof-theoretic validityAnalysis 83 (3): 507-516. 2023.
-
Dallas Amico-Korby, Maralee Harrell, and David Danks, Using Verification to Help Social Media Users Recognize ExpertsTech Policy Press. 2023.
-
Amelia Hicks, Dispensing with the Subjective Moral 'Ought'In Mark Timmons (ed.), Oxford Studies in Normative Ethics, Volume 11, Oxford University Press. 2022.
-
Shay Logan and Graham Leach-Krouse, Hyperdoctrine Semantics: An InvitationIn Shay Logan & Graham Leach-Krouse (eds.), The Logica Yearbook, 2021, College Publications. pp. 115-134. 2022.