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-03-01 to 2025-03-01.)
ArticleCitations
Beyond Berkson: Further Light on the Selection Bias8
Cut Elimination for Systems of Transparent Truth with Restricted Initial Sequents6
One Lie Group to Define Them All4
What Problem Did Ladd-Franklin (Think She) Solve(d)?4
Stage Comparison, Fixed Points, and Least Fixed Points in Kripke–Platek Environments4
An Invitation to Extension Domination4
Characterizing von Neumann Regular Rings in Reverse Mathematics4
Typicality à la Russell in Set Theory4
On Coincidence of Dimensions in Closed Ordered Differential Fields3
Supercompactness Can Be Equiconsistent with Measurability3
Quasi-Polyadic Algebras and Their Dual Position3
Solovay’s Relative Consistency Proof for FIM and BI3
Generalizing Montague’s Theorem on Recursive Definitions2
Decision Times of Infinite Computations2
Shrieking, Shrugging, and the Australian Plan2
Two Variants of Noncontingency Operator2
Deduction Theorem in Congruential Modal Logics2
Planar Graphs with Separation Are dp-Minimal2
Definable Version of Wedderburn–Artin Theorem in O-Minimal Structures2
There Are No Minimal Effectively Inseparable Theories2
Hierarchical Multiverse of Sets2
Meaningless Divisions1
Some Results on Non-Club Isomorphic Aronszajn Trees1
An Incompleteness Theorem for Modal Relevant Logics1
Definability of Boolean Functions in Kripke Semantics1
Topologizing Interpretable Groups in p-Adically Closed Fields1
A Family of dp-Minimal Expansions of (Z;+)1
Representations and the Foundations of Mathematics1
Products of Classes of Finite Structures1
Modal Logics That Are Both Monotone and Antitone: Makinson’s Extension Results and Affinities between Logics1
The Complexity of Module Radicals1
Games on Base Matrices1
Witt Vectors and Separably Closed Fields with Higher Derivations1
Simple Tableaus for Simple Logics1
Topic-Theoretic Extensions of Analytic Implication1
Model-Theoretic Properties of Dynamics on the Cantor Set1
Boolean-Valued Models of Set Theory with Urelements1
Logics of True Belief1
On VC-Density in VC-Minimal Theories1
0.040532112121582