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 2021-06-01 to 2025-06-01.)
ArticleCitations
Simple Tableaus for Simple Logics11
Meaningless Divisions5
Shrieking, Shrugging, and the Australian Plan5
Burden of Henselian Valued Fields in the Denef–Pas Language4
Tall Cardinals in Extender Models4
Structural Completeness in Many-Valued Logics with Rational Constants4
Effectiveness for the Dual Ramsey Theorem4
Provable Better-Quasi-Orders3
Dominating Orders, Vertex Pursuit Games, and Computability Theory3
A Walk with Goodstein and Ackermann3
A Completeness Proof for a Regular Predicate Logic with Undefined Truth Value3
Left Variable Inclusion Logics Associated with Classical Logic3
Geometric Modal Logic2
The Complexity of Decomposability of Computable Rings2
Core Tarski and Core McGee2
Measuring Inconsistency in Some Logics with Tense Operators2
Sets Completely Separated by Functions in Bishop Set Theory2
Effectively Constructible Fixed Points in Sacchetti’s Modal Logics of Provability2
A Problem for Relative-Sameness Semantics2
Completeness of Infinitary Heterogeneous Logic2
On Cns(κ) and the Juhász–Kunen Question2
Core Gödel1
Characterizing von Neumann Regular Rings in Reverse Mathematics1
Products of Classes of Finite Structures1
Tableaux and Interpolation for Propositional Justification Logics1
Witt Vectors and Separably Closed Fields with Higher Derivations1
Nondefinability of Rings of Integers in Most Algebraic Fields1
Modal Model Theory1
What Problem Did Ladd-Franklin (Think She) Solve(d)?1
Some Results on Non-Club Isomorphic Aronszajn Trees1
Definability of Boolean Functions in Kripke Semantics1
Unitary Representations of Locally Compact Groups as Metric Structures1
Classifying Invariants for E1: A Tail of a Generic Real1
Quasi-Polyadic Algebras and Their Dual Position1
The Diversity of Minimal Cofinal Extensions1
Did Aristotle Endorse Aristotle’s Thesis? A Case Study in Aristotle’s Metalogic1
Terence Tao, Hilbert’s Fifth Problem and Related Topics. American Mathematical Society, Providence, 2014. 338 pp.1
A Choice-Free Cardinal Equality1
Classical Mereology Is Axiomatizable Using Primitive Fusion in Two-Sorted Logic1
0.040601015090942