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-12-01 to 2025-12-01.)

Article	Citations
Simple Tableaus for Simple Logics	6
Shrieking, Shrugging, and the Australian Plan	5
Asymptotic Classes of Trees and ℵ0-categoricity	5
Logics of False Belief and Reliable Belief	4
The Proof-Theoretic Strength of Constructive Second-Order Set Theories	4
A Walk with Goodstein and Ackermann	3
Burden of Henselian Valued Fields in the Denef–Pas Language	3
Dominating Orders, Vertex Pursuit Games, and Computability Theory	3
Exponential Fields: Lack of Generic Derivations	3
Left Variable Inclusion Logics Associated with Classical Logic	3
A Completeness Proof for a Regular Predicate Logic with Undefined Truth Value	3
Tableaux and Interpolation for Propositional Justification Logics	2
Provable Better-Quasi-Orders	2
Geometric Modal Logic	2
The Complexity of Decomposability of Computable Rings	2
On Cns(κ) and the Juhász–Kunen Question	2
Structural Completeness in Many-Valued Logics with Rational Constants	2
Measuring Inconsistency in Some Logics with Tense Operators	2
Completeness of Infinitary Heterogeneous Logic	2
Sets Completely Separated by Functions in Bishop Set Theory	2
A Problem for Relative-Sameness Semantics	2
Core Tarski and Core McGee	1
Products of Classes of Finite Structures	1
Did Aristotle Endorse Aristotle’s Thesis? A Case Study in Aristotle’s Metalogic	1
Unitary Representations of Locally Compact Groups as Metric Structures	1

Effectively Constructible Fixed Points in Sacchetti’s Modal Logics of Provability	1
Computable Categoricity Relative to a C.E. Degree	1
Terence Tao, Hilbert’s Fifth Problem and Related Topics. American Mathematical Society, Providence, 2014. 338 pp.	1
The Diversity of Minimal Cofinal Extensions	1
Core Gödel	1
Definability of Boolean Functions in Kripke Semantics	1
Some Results on Non-Club Isomorphic Aronszajn Trees	1
Modal Model Theory	1
Classifying Invariants for E1: A Tail of a Generic Real	1
Witt Vectors and Separably Closed Fields with Higher Derivations	1
Thin Set Versions of Hindman’s Theorem	0
Poly-Connexivity: Connexive Conjunction and Disjunction	0
Model-Theoretic Properties of Dynamics on the Cantor Set	0
Stabilizers, Measures, and IP Sets	0
C. I. Lewis’s Intensional Semantics	0
Generically Extendible Cardinals	0
Stratified Formulas Are Not Context-Free	0
Vaught’s Conjecture for Theories of Discretely Ordered Structures	0
Substitutional Validity for Modal Logic	0
Hierarchical Multiverse of Sets	0
Class Theory in HYPE	0
Dialetheias and Numbers Distinct from Themselves	0
Logics of True Belief	0
Typicality à la Russell in Set Theory	0
Grothendieck Ring of the Pairing Function without Cycles	0
State-Based Modal Logics for Free Choice	0
Decision Times of Infinite Computations	0
How to Take Cats Together	0
An Invitation to Extension Domination	0
Broad Infinity and Generation Principles	0
Boolean-Valued Models of Set Theory with Urelements	0
Monotone Subintuitionistic Logic: Duality and Transfer Results	0
Topologizing Interpretable Groups in p-Adically Closed Fields	0
In Memoriam: Yoram Hirshfeld	0
There Are No Minimal Effectively Inseparable Theories	0
On Stable Quotients	0
Bicontextualism	0
Topic-Theoretic Extensions of Analytic Implication	0
Effect of the Choice of Connectives on the Relation between Classical Logic and Intuitionistic Logic	0
Weak Kleene and Other Weak Logics of Conditionals	0
Orthogonal Definable Subspaces of Hilbert Spaces: An Application of Goldblatt’s Method	0
Deduction Theorem in Congruential Modal Logics	0
Outline of an Intensional Theory of Truth	0
Unified Natural Deduction for Logics of Strong Negation	0
Planar Graphs with Separation Are dp-Minimal	0
Wittgensteinian Predicate Logic and Compositionality	0
A Family of dp-Minimal Expansions of (Z;+)	0
Stage Comparison, Fixed Points, and Least Fixed Points in Kripke–Platek Environments	0
Full Satisfaction Classes, Definability, and Automorphisms	0
Complexity of Codes for Ramsey Positive Sets	0

Iterating Both and Neither: With Applications to the Paradoxes	0
Definable Version of Wedderburn–Artin Theorem in O-Minimal Structures	0
One Lie Group to Define Them All	0
Games on Base Matrices	0
Representations and the Foundations of Mathematics	0
Identity and the Cognitive Value of Logical Equations in Frege’s Foundational Project	0
Lindström’s Characterizability of Abstract Logic Systems for Analytic Structures Based on Measures	0
In Memoriam: Zoé Chatzidakis	0
Rough Approximate Subgroups	0
Lower Bounds of Sets of P-points	0
A Local Version of the Slaman–Wehner Theorem and Families Closed Under Finite Differences	0
A Temporal Epistemic Deontic Logic	0
A Note on Torsion Modules with Pure Embeddings	0
Spiritus Asper versus Lambda: On the Nature of Functional Abstraction	0
A Natural Deduction Calculus for S4.2	0
A Nonsplitting Theorem in the Low2 Turing Degrees	0
The Marker–Steinhorn Theorem	0
No Decreasing Sequence of Cardinals in the Hierarchy of Choice Principles	0
Modal Logics That Are Both Monotone and Antitone: Makinson’s Extension Results and Affinities between Logics	0
Responsibility in Infinite Games	0
The Principle of Open Induction on [0,1] and the Approximate-Fan Theorem	0
Characterizing Counterfactuals and Dependencies over (Generalized) Causal Teams	0
On Sylow Theory for Linear Pseudofinite Groups	0
Classical Mereology Is Axiomatizable Using Primitive Fusion in Two-Sorted Logic	0
On VC-Density in VC-Minimal Theories	0
Quasi-Polyadic Algebras and Their Dual Position	0
Split Principles	0
Tame Topology over Definable Uniform Structures	0
Embeddings between Partial Combinatory Algebras	0
Beyond Berkson: Further Light on the Selection Bias	0