Thomas Macaulay Ferguson

According to our database, Thomas Macaulay Ferguson authored at least 33 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

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., August, 2024

Executability and Connexivity in an Interpretation of Griss.

Thomas Macaulay Ferguson

Stud Logica, April, 2024

Counterexample Sufficiency in Modifications to Strict-Tolerant Logics.

Jitka Kadleciková, Thomas Macaulay Ferguson

Proceedings of the 54th IEEE International Symposium on Multiple-Valued Logic, 2024

A Universal Intelligence Measure for Arithmetical Uncomputable Environments.

James T. Oswald, Thomas Macaulay Ferguson, Selmer Bringsjord

Proceedings of the Artificial General Intelligence - 17th International Conference, 2024

2023

Subject-Matter and Intensional Operators II: Applications to the Theory of Topic-Sensitive Intentional Modals.

Thomas Macaulay Ferguson

J. Philos. Log., December, 2023

Monstrous Content and the Bounds of Discourse.

Thomas Macaulay Ferguson

J. Philos. Log., February, 2023

Structural Completeness and Superintuitionistic Inquisitive Logics.

Thomas Macaulay Ferguson, Vít Puncochár

Proceedings of the Logic, Language, Information, and Computation, 2023

2022

Deep ST.

Thomas Macaulay Ferguson, Elisángela Ramírez-Cámara

J. Philos. Log., 2022

Non-Deterministic Many-Valued Modal Logic.

Thomas Macaulay Ferguson

Proceedings of the 52nd IEEE International Symposium on Multiple-Valued Logic, 2022

2021

Meaningless Divisions.

Damián Enrique Szmuc, Thomas Macaulay Ferguson

Notre Dame J. Formal Log., 2021

Tableaux and Restricted Quantification for Systems Related to Weak Kleene Logic.

Thomas Macaulay Ferguson

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021

Modeling Intentional States with Subsystems of ALC.

Thomas Macaulay Ferguson

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

2020

Explicit analyses of proof/refutation interaction for constructible falsity and Heyting-Brouwer logic.

Thomas Macaulay Ferguson

J. Log. Comput., 2020

The Keisler-Shelah theorem for $\mathsf{QmbC}$ through semantical atomization.

Thomas Macaulay Ferguson

Log. J. IGPL, 2020

2019

Logics based on linear orders of contaminating values.

Roberto Ciuni, Thomas Macaulay Ferguson, Damián Enrique Szmuc

J. Log. Comput., 2019

Corrigendum: The Keisler - Shelah theorem for QmbC through semantical atomization.

Thomas Macaulay Ferguson

Log. J. IGPL, 2019

Modeling the Interaction of Computer Errors by Four-Valued Contaminating Logics.

Roberto Ciuni, Thomas Macaulay Ferguson, Damián Enrique Szmuc

Proceedings of the Logic, Language, Information, and Computation, 2019

2018

A Gödel-Artemov-Style Analysis of Constructible Falsity.

Thomas Macaulay Ferguson

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2018

2017

The Proscriptive Principle and Logics of Analytic Implication.

Thomas Macaulay Ferguson

PhD thesis, 2017

Rivals to Belnap-Dunn Logic on Interlaced Trilattices.

Thomas Macaulay Ferguson

Stud Logica, 2017

Dunn-Priest Quotients of Many-Valued Structures.

Thomas Macaulay Ferguson

Notre Dame J. Formal Log., 2017

2016

Correia Semantics Revisited.

Thomas Macaulay Ferguson

Stud Logica, 2016

Faulty Belnap computers and subsystems of FDE.

Thomas Macaulay Ferguson

J. Log. Comput., 2016

Editorial Preface.

Heinrich Wansing, Hitoshi Omori, Thomas Macaulay Ferguson

FLAP, 2016

On Arithmetic Formulated Connexively.

Thomas Macaulay Ferguson

FLAP, 2016

2015

Two paradoxes of semantic information.

Thomas Macaulay Ferguson

Synth., 2015

Logics of Nonsense and Parry Systems.

Thomas Macaulay Ferguson

J. Philos. Log., 2015

Cut-Down Operations on Bilattices.

Thomas Macaulay Ferguson

Proceedings of the 2015 IEEE International Symposium on Multiple-Valued Logic, 2015

2014

Extensions of Priest-da Costa Logic.

Thomas Macaulay Ferguson

Stud Logica, 2014

On Non-Deterministic Quantification.

Thomas Macaulay Ferguson

Logica Universalis, 2014

A computational interpretation of conceptivism.

Thomas Macaulay Ferguson

J. Appl. Non Class. Logics, 2014

Lukasiewicz Negation and Many-Valued Extensions of Constructive Logics.

Thomas Macaulay Ferguson

Proceedings of the IEEE 44th International Symposium on Multiple-Valued Logic, 2014

2012

Notes on the Model Theory of DeMorgan Logics.

Thomas Macaulay Ferguson

Notre Dame J. Formal Log., 2012