Thomas Macaulay Ferguson

47 papers A* 1B 2C 3Misc 1Journal 33Unranked 6

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	$\Gamma $ -admissibility in First-order Relevant Logics: Proof using Normal Models in the Mares-Goldblatt Setting. Rev. Symb. Log. Nicholas Ferenz, Thomas Macaulay Ferguson
2025	A*	`conf`	A Modal Logic of Optimality (Student Abstract). AAAI James T. Oswald, Brandon Rozek, Thomas Macaulay Ferguson, Selmer Bringsjord
2025	J	`jnl`	Care-theoretic semantics. J. Log. Comput. Thomas Macaulay Ferguson, Jitka Kadleciková
2025	C	`conf`	Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations. NeSy Bradley P. Allen, Prateek Chhikara, Thomas Macaulay Ferguson, Filip Ilievski, Paul Groth
2025	J	`jnl`	Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations. CoRR Bradley P. Allen, Prateek Chhikara, Thomas Macaulay Ferguson, Filip Ilievski, Paul Groth
2025	B	`conf`	Tableaux for Epistemic Gödel Logic. PRIMA Marta Bílková, Thomas Macaulay Ferguson, Daniil Kozhemiachenko
2024	—	`conf`	A Universal Intelligence Measure for Arithmetical Uncomputable Environments. AGI James T. Oswald, Thomas Macaulay Ferguson, Selmer Bringsjord
2024	—	`conf`	Counterexample Sufficiency in Modifications to Strict-Tolerant Logics. ISMVL Jitka Kadleciková, Thomas Macaulay Ferguson
2024	J	`jnl`	Executability and Connexivity in an Interpretation of Griss. Stud Logica Thomas Macaulay Ferguson
2024	J	`jnl`	Modeling $\mathscr {C}^{0}$ Family Logics for Artificial Intelligence: Doxastic-Temporal Logics for Reasoning About Goals. Künstliche Intell. James T. Oswald, Brandon Rozek, Thomas Macaulay Ferguson
2024	J	`jnl`	Subject-Matter and Intensional operators III: State-Sensitive subject-Matter and Topic Sufficiency. Rev. Symb. Log. Thomas Macaulay Ferguson
2023	J	`jnl`	From Excluded Middle to Homogenization in Plumwood's Feminist Critique of Logic. Australas. J. Log. Thomas Macaulay Ferguson
2023	J	`jnl`	Monstrous Content and the Bounds of Discourse. J. Philos. Log. Thomas Macaulay Ferguson
2023	C	`conf`	Structural Completeness and Superintuitionistic Inquisitive Logics. WoLLIC Thomas Macaulay Ferguson, Vít Puncochár
2023	J	`jnl`	Subject-Matter and Intensional Operators II: Applications to the Theory of Topic-Sensitive Intentional Modals. J. Philos. Log. Thomas Macaulay Ferguson
2022	J	`jnl`	Deep ST. J. Philos. Log. Thomas Macaulay Ferguson, Elisángela Ramírez-Cámara
2022	—	`conf`	Non-Deterministic Many-Valued Modal Logic. ISMVL Thomas Macaulay Ferguson
2021	J	`jnl`	Episodes in Model-Theoretic Xenology: Rationals as Positive Integers in R#. Australas. J. Log. Thomas Macaulay Ferguson, Elisangela Ramírez-Cámara
2021	J	`jnl`	Introduction. Australas. J. Log. Thomas Macaulay Ferguson, Graham Priest
2021	J	`jnl`	Meaningless Divisions. Notre Dame J. Formal Log. Damián Szmuc, Thomas Macaulay Ferguson
2021	—	`conf`	Modeling Intentional States with Subsystems of ALC. Description Logics Thomas Macaulay Ferguson
2021	J	`jnl`	Robert Meyer's Publications on Relevant Arithmetic. Australas. J. Log. Thomas Macaulay Ferguson, Graham Priest
2021	B	`conf`	Tableaux and Restricted Quantification for Systems Related to Weak Kleene Logic. TABLEAUX Thomas Macaulay Ferguson
2020	J	`jnl`	Explicit analyses of proof/refutation interaction for constructible falsity and Heyting-Brouwer logic. J. Log. Comput. Thomas Macaulay Ferguson
2020	J	`jnl`	The Keisler-Shelah theorem for $\mathsf{QmbC}$ through semantical atomization. Log. J. IGPL Thomas Macaulay Ferguson
2019	J	`jnl`	Corrigendum: The Keisler - Shelah theorem for QmbC through semantical atomization. Log. J. IGPL Thomas Macaulay Ferguson
2019	J	`jnl`	Logics based on linear orders of contaminating values. J. Log. Comput. Roberto Ciuni, Thomas Macaulay Ferguson, Damián Szmuc
2019	C	`conf`	Modeling the Interaction of Computer Errors by Four-Valued Contaminating Logics. WoLLIC Roberto Ciuni, Thomas Macaulay Ferguson, Damián Szmuc
2018	Misc	`conf`	A Gödel-Artemov-Style Analysis of Constructible Falsity. LFCS Thomas Macaulay Ferguson
2018	J	`jnl`	Parity, Relevance, and Gentle Explosiveness in the Context of Sylvan's Mate Function. Australas. J. Log. Thomas Macaulay Ferguson
2018	J	`jnl`	Relevant Logics Obeying Component Homogeneity. Australas. J. Log. Roberto Ciuni, Damián Szmuc, Thomas Macaulay Ferguson
2017	J	`jnl`	Dunn-Priest Quotients of Many-Valued Structures. Notre Dame J. Formal Log. Thomas Macaulay Ferguson
2017	J	`jnl`	Rivals to Belnap-Dunn Logic on Interlaced Trilattices. Stud Logica Thomas Macaulay Ferguson
2017	—	`—`	The Proscriptive Principle and Logics of Analytic Implication. Thomas Macaulay Ferguson
2016	J	`jnl`	Correia Semantics Revisited. Stud Logica Thomas Macaulay Ferguson
2016	J	`jnl`	Editorial Preface. FLAP Heinrich Wansing, Hitoshi Omori, Thomas Macaulay Ferguson
2016	J	`jnl`	Faulty Belnap computers and subsystems of FDE. J. Log. Comput. Thomas Macaulay Ferguson
2016	J	`jnl`	On Arithmetic Formulated Connexively. FLAP Thomas Macaulay Ferguson
2016	J	`jnl`	Remarks on Ontological Dependence in Set Theory. Australas. J. Log. Thomas Macaulay Ferguson
2015	—	`conf`	Cut-Down Operations on Bilattices. ISMVL Thomas Macaulay Ferguson
2015	J	`jnl`	Logics of Nonsense and Parry Systems. J. Philos. Log. Thomas Macaulay Ferguson
2015	J	`jnl`	Two paradoxes of semantic information. Synth. Thomas Macaulay Ferguson
2014	J	`jnl`	A computational interpretation of conceptivism. J. Appl. Non Class. Logics Thomas Macaulay Ferguson
2014	J	`jnl`	Extensions of Priest-da Costa Logic. Stud Logica Thomas Macaulay Ferguson
2014	—	`conf`	Lukasiewicz Negation and Many-Valued Extensions of Constructive Logics. ISMVL Thomas Macaulay Ferguson
2014	J	`jnl`	On Non-Deterministic Quantification. Logica Universalis Thomas Macaulay Ferguson
2012	J	`jnl`	Notes on the Model Theory of DeMorgan Logics. Notre Dame J. Formal Log. Thomas Macaulay Ferguson