Notes on the Model Theory of DeMorgan Logics. - Thomas Macaulay Ferguson (Notre Dame J. Formal Log., 2012)

Lukasiewicz Negation and Many-Valued Extensions of Constructive Logics. - Thomas Macaulay Ferguson (ISMVL, 2014)

A computational interpretation of conceptivism. - Thomas Macaulay Ferguson (J. Appl. Non Class. Logics, 2014)

On Non-Deterministic Quantification. - Thomas Macaulay Ferguson (Logica Universalis, 2014)

Extensions of Priest-da Costa Logic. - Thomas Macaulay Ferguson (Stud Logica, 2014)

Cut-Down Operations on Bilattices. - Thomas Macaulay Ferguson (ISMVL, 2015)

Logics of Nonsense and Parry Systems. - Thomas Macaulay Ferguson (J. Philos. Log., 2015)

Two paradoxes of semantic information. - Thomas Macaulay Ferguson (Synth., 2015)

On Arithmetic Formulated Connexively. - Thomas Macaulay Ferguson (FLAP, 2016)

Editorial Preface. - Heinrich Wansing; Hitoshi Omori; Thomas Macaulay Ferguson (FLAP, 2016)

Faulty Belnap computers and subsystems of FDE. - Thomas Macaulay Ferguson (J. Log. Comput., 2016)

Correia Semantics Revisited. - Thomas Macaulay Ferguson (Stud Logica, 2016)

Dunn-Priest Quotients of Many-Valued Structures. - Thomas Macaulay Ferguson (Notre Dame J. Formal Log., 2017)

Rivals to Belnap-Dunn Logic on Interlaced Trilattices. - Thomas Macaulay Ferguson (Stud Logica, 2017)

The Proscriptive Principle and Logics of Analytic Implication. - Thomas Macaulay Ferguson (2017)

A Gödel-Artemov-Style Analysis of Constructible Falsity. - Thomas Macaulay Ferguson (LFCS, 2018)

Modeling the Interaction of Computer Errors by Four-Valued Contaminating Logics. - Roberto Ciuni; Thomas Macaulay Ferguson; Damián Enrique Szmuc (WoLLIC, 2019)

Corrigendum: The Keisler - Shelah theorem for QmbC through semantical atomization. - Thomas Macaulay Ferguson (Log. J. IGPL, 2019)

Logics based on linear orders of contaminating values. - Roberto Ciuni; Thomas Macaulay Ferguson; Damián Enrique Szmuc (J. Log. Comput., 2019)

The Keisler-Shelah theorem for $ mathsf{QmbC}$ through semantical atomization. - Thomas Macaulay Ferguson (Log. J. IGPL, 2020)

Explicit analyses of proof/refutation interaction for constructible falsity and Heyting-Brouwer logic. - Thomas Macaulay Ferguson (J. Log. Comput., 2020)

Modeling Intentional States with Subsystems of ALC. - Thomas Macaulay Ferguson (Description Logics, 2021)

Tableaux and Restricted Quantification for Systems Related to Weak Kleene Logic. - Thomas Macaulay Ferguson (TABLEAUX, 2021)

Meaningless Divisions. - Damián Enrique Szmuc; Thomas Macaulay Ferguson (Notre Dame J. Formal Log., 2021)

Non-Deterministic Many-Valued Modal Logic. - Thomas Macaulay Ferguson (ISMVL, 2022)

Deep ST. - Thomas Macaulay Ferguson; Elisángela Ramírez-Cámara (J. Philos. Log., 2022)

Structural Completeness and Superintuitionistic Inquisitive Logics. - Thomas Macaulay Ferguson; Vít Puncochár (WoLLIC, 2023)

Monstrous Content and the Bounds of Discourse. - Thomas Macaulay Ferguson (J. Philos. Log., 2023)

Subject-Matter and Intensional Operators II: Applications to the Theory of Topic-Sensitive Intentional Modals. - Thomas Macaulay Ferguson (J. Philos. Log., 2023)

A Universal Intelligence Measure for Arithmetical Uncomputable Environments. - James T. Oswald; Thomas Macaulay Ferguson; Selmer Bringsjord (AGI, 2024)

Counterexample Sufficiency in Modifications to Strict-Tolerant Logics. - Jitka Kadleciková; Thomas Macaulay Ferguson (ISMVL, 2024)

Subject-Matter and Intensional operators III: State-Sensitive subject-Matter and Topic Sufficiency. - Thomas Macaulay Ferguson (Rev. Symb. Log., 2024)

Executability and Connexivity in an Interpretation of Griss. - Thomas Macaulay Ferguson (Stud Logica, 2024)

Modeling $ mathscr {C}^{0}$ Family Logics for Artificial Intelligence: Doxastic-Temporal Logics for Reasoning About Goals. - James T. Oswald; Brandon Rozek; Thomas Macaulay Ferguson (Künstliche Intell., 2024)

A Modal Logic of Optimality (Student Abstract). - James T. Oswald; Brandon Rozek; Thomas Macaulay Ferguson; Selmer Bringsjord (AAAI, 2025)

Resource-Relativized Legg-Hutter Intelligence. - Kyle J. Fuller; Deacon R. Sawyer; James T. Oswald; Thomas M. Ferguson (AGI (1), 2025)

On the Arrowian Impossibility of Machine Intelligence Measures. - James T. Oswald; Thomas M. Ferguson; Selmer Bringsjord (AGI (2), 2025)

Care-theoretic semantics. - Thomas Macaulay Ferguson; Jitka Kadleciková (J. Log. Comput., 2025)

A Gödel-Dugundji-style theorem for the minimal structural logic. - Pawel Pawlowski; Thomas M. Ferguson; Ethan Gertler (J. Log. Comput., 2025)

$ Gamma $ -admissibility in First-order Relevant Logics: Proof using Normal Models in the Mares-Goldblatt Setting. - Nicholas Ferenz; Thomas Macaulay Ferguson (Rev. Symb. Log., 2025)

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations. - Bradley P. Allen; Prateek Chhikara; Thomas Macaulay Ferguson; Filip Ilievski; Paul Groth (CoRR, 2025)

Consistency-Sensitive Epistemic Modalities in Information-Based Semantics. - Vít Puncochár; Marta Bílková; Sena Bozdag; Thomas M. Ferguson (Stud Logica, 2025)