default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThomas Macaulay Ferguson
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j22]James T. Oswald
, Brandon Rozek, Thomas Macaulay Ferguson:
Modeling $\mathscr {C}^{0}$ Family Logics for Artificial Intelligence: Doxastic-Temporal Logics for Reasoning About Goals. Künstliche Intell. 38(1): 45-59 (2024)- [j21]Thomas Macaulay Ferguson:
Executability and Connexivity in an Interpretation of Griss. Stud Logica 112(1-2): 459-509 (2024) - [c10]James T. Oswald, Thomas Macaulay Ferguson, Selmer Bringsjord:
A Universal Intelligence Measure for Arithmetical Uncomputable Environments. AGI 2024: 134-144 - [c9]Jitka Kadleciková, Thomas Macaulay Ferguson:
Counterexample Sufficiency in Modifications to Strict-Tolerant Logics. ISMVL 2024: 78-84 - 2023
- [j20]Thomas Macaulay Ferguson:
Monstrous Content and the Bounds of Discourse. J. Philos. Log. 52(1): 111-143 (2023) - [j19]Thomas Macaulay Ferguson:
Subject-Matter and Intensional Operators II: Applications to the Theory of Topic-Sensitive Intentional Modals. J. Philos. Log. 52(6): 1673-1701 (2023) - [c8]Thomas Macaulay Ferguson, Vít Puncochár:
Structural Completeness and Superintuitionistic Inquisitive Logics. WoLLIC 2023: 194-210 - 2022
- [j18]Thomas Macaulay Ferguson, Elisángela Ramírez-Cámara:
Deep ST. J. Philos. Log. 51(6): 1261-1293 (2022) - [c7]Thomas Macaulay Ferguson:
Non-Deterministic Many-Valued Modal Logic. ISMVL 2022: 106-112 - 2021
- [j17]Damián Enrique Szmuc, Thomas Macaulay Ferguson:
Meaningless Divisions. Notre Dame J. Formal Log. 62(3) (2021) - [c6]Thomas Macaulay Ferguson:
Modeling Intentional States with Subsystems of ALC. Description Logics 2021 - [c5]Thomas Macaulay Ferguson:
Tableaux and Restricted Quantification for Systems Related to Weak Kleene Logic. TABLEAUX 2021: 3-19 - 2020
- [j16]Thomas Macaulay Ferguson:
The Keisler-Shelah theorem for $\mathsf{QmbC}$ through semantical atomization. Log. J. IGPL 28(5): 912-935 (2020) - [j15]Thomas Macaulay Ferguson:
Explicit analyses of proof/refutation interaction for constructible falsity and Heyting-Brouwer logic. J. Log. Comput. 30(8): 1505-1540 (2020)
2010 – 2019
- 2019
- [j14]Thomas Macaulay Ferguson:
Corrigendum: The Keisler - Shelah theorem for QmbC through semantical atomization. Log. J. IGPL 27(6): 933 (2019) - [j13]Roberto Ciuni, Thomas Macaulay Ferguson, Damián Enrique Szmuc:
Logics based on linear orders of contaminating values. J. Log. Comput. 29(5): 631-663 (2019) - [c4]Roberto Ciuni, Thomas Macaulay Ferguson, Damián Enrique Szmuc:
Modeling the Interaction of Computer Errors by Four-Valued Contaminating Logics. WoLLIC 2019: 119-139 - 2018
- [c3]Thomas Macaulay Ferguson:
A Gödel-Artemov-Style Analysis of Constructible Falsity. LFCS 2018: 154-169 - 2017
- [b1]Thomas Macaulay Ferguson:
The Proscriptive Principle and Logics of Analytic Implication. City University of New York, USA, 2017 - [j12]Thomas Macaulay Ferguson:
Dunn-Priest Quotients of Many-Valued Structures. Notre Dame J. Formal Log. 58(2): 221-239 (2017) - [j11]Thomas Macaulay Ferguson:
Rivals to Belnap-Dunn Logic on Interlaced Trilattices. Stud Logica 105(6): 1123-1148 (2017) - 2016
- [j10]Heinrich Wansing, Hitoshi Omori, Thomas Macaulay Ferguson:
Editorial Preface. FLAP 3(3): 279-296 (2016) - [j9]Thomas Macaulay Ferguson:
On Arithmetic Formulated Connexively. FLAP 3(3): 357-376 (2016) - [j8]Thomas Macaulay Ferguson:
Faulty Belnap computers and subsystems of FDE. J. Log. Comput. 26(5): 1617-1636 (2016) - [j7]Thomas Macaulay Ferguson:
Correia Semantics Revisited. Stud Logica 104(1): 145-173 (2016) - 2015
- [j6]Thomas Macaulay Ferguson:
Logics of Nonsense and Parry Systems. J. Philos. Log. 44(1): 65-80 (2015) - [j5]Thomas Macaulay Ferguson:
Two paradoxes of semantic information. Synth. 192(11): 3719-3730 (2015) - [c2]Thomas Macaulay Ferguson:
Cut-Down Operations on Bilattices. ISMVL 2015: 24-29 - 2014
- [j4]Thomas Macaulay Ferguson:
A computational interpretation of conceptivism. J. Appl. Non Class. Logics 24(4): 333-367 (2014) - [j3]Thomas Macaulay Ferguson:
On Non-Deterministic Quantification. Logica Universalis 8(2): 165-191 (2014) - [j2]Thomas Macaulay Ferguson:
Extensions of Priest-da Costa Logic. Stud Logica 102(1): 145-174 (2014) - [c1]Thomas Macaulay Ferguson:
Lukasiewicz Negation and Many-Valued Extensions of Constructive Logics. ISMVL 2014: 121-127 - 2012
- [j1]Thomas Macaulay Ferguson:
Notes on the Model Theory of DeMorgan Logics. Notre Dame J. Formal Log. 53(1): 113-132 (2012)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-02 22:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
