OOIR: Observatory of International Research

Papers

(The median citation count of Notre Dame Journal of Formal Logic is 0. 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-08-01 to 2025-08-01.)

Article	Citations
Simple Tableaus for Simple Logics	11
Shrieking, Shrugging, and the Australian Plan	5
Meaningless Divisions	5
Effectiveness for the Dual Ramsey Theorem	4
Burden of Henselian Valued Fields in the Denef–Pas Language	4
The Proof-Theoretic Strength of Constructive Second-Order Set Theories	4
Tall Cardinals in Extender Models	4
A Completeness Proof for a Regular Predicate Logic with Undefined Truth Value	3
A Walk with Goodstein and Ackermann	3
Dominating Orders, Vertex Pursuit Games, and Computability Theory	3
Provable Better-Quasi-Orders	3
Left Variable Inclusion Logics Associated with Classical Logic	3
Geometric Modal Logic	3
Structural Completeness in Many-Valued Logics with Rational Constants	3
The Complexity of Decomposability of Computable Rings	2
Core Tarski and Core McGee	2
Measuring Inconsistency in Some Logics with Tense Operators	2
Sets Completely Separated by Functions in Bishop Set Theory	2
On Cns(κ) and the Juhász–Kunen Question	2
A Problem for Relative-Sameness Semantics	2
Completeness of Infinitary Heterogeneous Logic	2
Tableaux and Interpolation for Propositional Justification Logics	1
Effectively Constructible Fixed Points in Sacchetti’s Modal Logics of Provability	1
A Choice-Free Cardinal Equality	1
Quasi-Polyadic Algebras and Their Dual Position	1

Core Gödel	1
Characterizing von Neumann Regular Rings in Reverse Mathematics	1
The Diversity of Minimal Cofinal Extensions	1
Some Results on Non-Club Isomorphic Aronszajn Trees	1
Terence Tao, Hilbert’s Fifth Problem and Related Topics. American Mathematical Society, Providence, 2014. 338 pp.	1
Witt Vectors and Separably Closed Fields with Higher Derivations	1
Nondefinability of Rings of Integers in Most Algebraic Fields	1
Modal Model Theory	1
What Problem Did Ladd-Franklin (Think She) Solve(d)?	1
Did Aristotle Endorse Aristotle’s Thesis? A Case Study in Aristotle’s Metalogic	1
Products of Classes of Finite Structures	1
Definability of Boolean Functions in Kripke Semantics	1
Unitary Representations of Locally Compact Groups as Metric Structures	1
Classifying Invariants for E1: A Tail of a Generic Real	1
Classical Mereology Is Axiomatizable Using Primitive Fusion in Two-Sorted Logic	1
Cut Elimination for Systems of Transparent Truth with Restricted Initial Sequents	1
Complexity of Codes for Ramsey Positive Sets	0
A Temporal Epistemic Deontic Logic	0
Outline of an Intensional Theory of Truth	0
Split Principles	0
Substitutional Validity for Modal Logic	0
Grothendieck Ring of the Pairing Function without Cycles	0
Wittgensteinian Predicate Logic and Compositionality	0
Broad Infinity and Generation Principles	0
Supercompactness Can Be Equiconsistent with Measurability	0
How to Take Cats Together	0
Effect of the Choice of Connectives on the Relation between Classical Logic and Intuitionistic Logic	0
On VC-Density in VC-Minimal Theories	0
Modal Logics That Are Both Monotone and Antitone: Makinson’s Extension Results and Affinities between Logics	0
Poly-Connexivity: Connexive Conjunction and Disjunction	0
On Stable Quotients	0
A Note on Torsion Modules with Pure Embeddings	0
Identity and the Cognitive Value of Logical Equations in Frege’s Foundational Project	0
A Local Version of the Slaman–Wehner Theorem and Families Closed Under Finite Differences	0
Boolean-Valued Models of Set Theory with Urelements	0
Deduction Theorem in Congruential Modal Logics	0
Class Theory in HYPE	0
Solovay’s Relative Consistency Proof for FIM and BI	0
An Incompleteness Theorem for Modal Relevant Logics	0
Vaught’s Conjecture for Theories of Discretely Ordered Structures	0
Representations and the Foundations of Mathematics	0
Responsibility in Infinite Games	0
Weak Kleene and Other Weak Logics of Conditionals	0
Logics of True Belief	0
No Decreasing Sequence of Cardinals in the Hierarchy of Choice Principles	0
Characterizing Counterfactuals and Dependencies over (Generalized) Causal Teams	0
Orthogonal Definable Subspaces of Hilbert Spaces: An Application of Goldblatt’s Method	0
State-Based Modal Logics for Free Choice	0
Generalizing Montague’s Theorem on Recursive Definitions	0
A Probabilistic Semantics for Belief Logic	0

Full Satisfaction Classes, Definability, and Automorphisms	0
Monotone Subintuitionistic Logic: Duality and Transfer Results	0
Lower Bounds of Sets of P-points	0
Embeddings between Partial Combinatory Algebras	0
Thin Set Versions of Hindman’s Theorem	0
Topologizing Interpretable Groups in p-Adically Closed Fields	0
Decision Times of Infinite Computations	0
C. I. Lewis’s Intensional Semantics	0
Definable Version of Wedderburn–Artin Theorem in O-Minimal Structures	0
Topic-Theoretic Extensions of Analytic Implication	0
In Memoriam: Zoé Chatzidakis	0
Typicality à la Russell in Set Theory	0
Beyond Berkson: Further Light on the Selection Bias	0
The Marker–Steinhorn Theorem	0
Planar Graphs with Separation Are dp-Minimal	0
A Natural Deduction Calculus for S4.2	0
A Family of dp-Minimal Expansions of (Z;+)	0
Dialetheias and Numbers Distinct from Themselves	0
One Lie Group to Define Them All	0
Two Variants of Noncontingency Operator	0
On Sylow Theory for Linear Pseudofinite Groups	0
Tame Topology over Definable Uniform Structures	0
Iterating Both and Neither: With Applications to the Paradoxes	0
Stage Comparison, Fixed Points, and Least Fixed Points in Kripke–Platek Environments	0
In Memoriam: Yoram Hirshfeld	0
Stabilizers, Measures, and IP Sets	0
Lindström’s Characterizability of Abstract Logic Systems for Analytic Structures Based on Measures	0
Hierarchical Multiverse of Sets	0
Games on Base Matrices	0
There Are No Minimal Effectively Inseparable Theories	0
Bicontextualism	0
An Invitation to Extension Domination	0
Model-Theoretic Properties of Dynamics on the Cantor Set	0
Spiritus Asper versus Lambda: On the Nature of Functional Abstraction	0