Notre Dame Journal of Formal Logic

Papers
(The TQCC of Notre Dame Journal of Formal Logic is 1. The table below lists those papers that are above that threshold based on CrossRef citation counts [max. 250 papers]. The publications cover those that have been published in the past four years, i.e., from 2022-06-01 to 2026-06-01.)
ArticleCitations
Asymptotic Classes of Trees and ℵ0-categoricity5
Logics of False Belief and Reliable Belief5
The Proof-Theoretic Strength of Constructive Second-Order Set Theories4
Simple Tableaus for Simple Logics4
Exponential Fields: Lack of Generic Derivations4
A Completeness Proof for a Regular Predicate Logic with Undefined Truth Value3
A Walk with Goodstein and Ackermann3
Burden of Henselian Valued Fields in the Denef–Pas Language3
Dominating Orders, Vertex Pursuit Games, and Computability Theory3
Structural Completeness in Many-Valued Logics with Rational Constants2
Geometric Modal Logic2
The Complexity of Decomposability of Computable Rings2
Measuring Inconsistency in Some Logics with Tense Operators2
Provable Better-Quasi-Orders2
Sets Completely Separated by Functions in Bishop Set Theory2
Completeness of Infinitary Heterogeneous Logic2
Left Variable Inclusion Logics Associated with Classical Logic2
A Problem for Relative-Sameness Semantics2
On Cns(κ) and the Juhász–Kunen Question2
Simple Tableaus for Simple Intuitionistic Logics2
Epistemic Counterpossibilism1
Model Theory of Homogeneous D-Sets1
Zorn’s Lemma, Reverse Mathematics, and Applications in Combinatorics1
Witt Vectors and Separably Closed Fields with Higher Derivations1
The Diversity of Minimal Cofinal Extensions1
Terence Tao, Hilbert’s Fifth Problem and Related Topics. American Mathematical Society, Providence, 2014. 338 pp.1
Tableaux and Interpolation for Propositional Justification Logics1
Products of Classes of Finite Structures1
Definability of Boolean Functions in Kripke Semantics1
Did Aristotle Endorse Aristotle’s Thesis? A Case Study in Aristotle’s Metalogic1
Classifying Invariants for E1: A Tail of a Generic Real1
Boolean Completeness of Infinitary Logic with Arbitrary Signatures1
Core Tarski and Core McGee1
Computable Categoricity Relative to a C.E. Degree1
Unitary Representations of Locally Compact Groups as Metric Structures1
Local O-Minimality and Prime Models1
Core Gödel1
0.059371948242188