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 2022-01-01 to 2026-01-01.)

Article	Citations
Simple Tableaus for Simple Logics	6
Asymptotic Classes of Trees and ℵ0-categoricity	5
Shrieking, Shrugging, and the Australian Plan	5
The Proof-Theoretic Strength of Constructive Second-Order Set Theories	4
Logics of False Belief and Reliable Belief	4
Left Variable Inclusion Logics Associated with Classical Logic	3
A Completeness Proof for a Regular Predicate Logic with Undefined Truth Value	3
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
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
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
Witt Vectors and Separably Closed Fields with Higher Derivations	1
Classifying Invariants for E1: A Tail of a Generic Real	1
Modal Model Theory	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
Classical Mereology Is Axiomatizable Using Primitive Fusion in Two-Sorted Logic	1
Unitary Representations of Locally Compact Groups as Metric Structures	1
Did Aristotle Endorse Aristotle’s Thesis? A Case Study in Aristotle’s Metalogic	1
Definability of Boolean Functions in Kripke Semantics	1
Effectively Constructible Fixed Points in Sacchetti’s Modal Logics of Provability	1
Some Results on Non-Club Isomorphic Aronszajn Trees	1
The Diversity of Minimal Cofinal Extensions	1
Core Gödel	1
Products of Classes of Finite Structures	1
Core Tarski and Core McGee	1
Full Satisfaction Classes, Definability, and Automorphisms	0
Model-Theoretic Properties of Dynamics on the Cantor Set	0
Iterating Both and Neither: With Applications to the Paradoxes	0
Decision Times of Infinite Computations	0
State-Based Modal Logics for Free Choice	0
Substitutional Validity for Modal Logic	0
Definable Version of Wedderburn–Artin Theorem in O-Minimal Structures	0
Dialetheias and Numbers Distinct from Themselves	0
Boolean-Valued Models of Set Theory with Urelements	0
C. I. Lewis’s Intensional Semantics	0
Typicality à la Russell in Set Theory	0
Topologizing Interpretable Groups in p-Adically Closed Fields	0
In Memoriam: Yoram Hirshfeld	0
Thin Set Versions of Hindman’s Theorem	0
One Lie Group to Define Them All	0
Stabilizers, Measures, and IP Sets	0
A Local Version of the Slaman–Wehner Theorem and Families Closed Under Finite Differences	0
Beyond Berkson: Further Light on the Selection Bias	0
Vaught’s Conjecture for Theories of Discretely Ordered Structures	0
Modal Logics That Are Both Monotone and Antitone: Makinson’s Extension Results and Affinities between Logics	0
Monotone Subintuitionistic Logic: Duality and Transfer Results	0
A Family of dp-Minimal Expansions of (Z;+)	0
Axioms for Commutative Unital Rings Elementarily Equivalent to Restricted Products of Connected Rings	0
Hierarchical Multiverse of Sets	0
Rough Approximate Subgroups	0
On Sylow Theory for Linear Pseudofinite Groups	0
Topic-Theoretic Extensions of Analytic Implication	0
Identity and the Cognitive Value of Logical Equations in Frege’s Foundational Project	0
Orthogonal Definable Subspaces of Hilbert Spaces: An Application of Goldblatt’s Method	0
Stage Comparison, Fixed Points, and Least Fixed Points in Kripke–Platek Environments	0
Unified Natural Deduction for Logics of Strong Negation	0
Quasi-Polyadic Algebras and Their Dual Position	0
Wittgensteinian Predicate Logic and Compositionality	0
Games on Base Matrices	0
Representations and the Foundations of Mathematics	0
Lindström’s Characterizability of Abstract Logic Systems for Analytic Structures Based on Measures	0
In Memoriam: Zoé Chatzidakis	0
Tame Topology over Definable Uniform Structures	0
On Stable Quotients	0

Bicontextualism	0
A Note on Torsion Modules with Pure Embeddings	0
Weak Kleene and Other Weak Logics of Conditionals	0
A Nonsplitting Theorem in the Low2 Turing Degrees	0
Outline of an Intensional Theory of Truth	0
Logics of True Belief	0
Grothendieck Ring of the Pairing Function without Cycles	0
Generically Extendible Cardinals	0
Broad Infinity and Generation Principles	0
There Are No Minimal Effectively Inseparable Theories	0
How to Take Cats Together	0
A Temporal Epistemic Deontic Logic	0
On VC-Density in VC-Minimal Theories	0
A Natural Deduction Calculus for S4.2	0
An Invitation to Extension Domination	0
Planar Graphs with Separation Are dp-Minimal	0
No Decreasing Sequence of Cardinals in the Hierarchy of Choice Principles	0
Well-Behaved Truth	0
Responsibility in Infinite Games	0
Complexity of Codes for Ramsey Positive Sets	0
Embeddings between Partial Combinatory Algebras	0
Stationary Tower Forcing and Universally Baire Sets	0
Poly-Connexivity: Connexive Conjunction and Disjunction	0
Effect of the Choice of Connectives on the Relation between Classical Logic and Intuitionistic Logic	0
Lower Bounds of Sets of P-points	0
Class Theory in HYPE	0
Stratified Formulas Are Not Context-Free	0
Spiritus Asper versus Lambda: On the Nature of Functional Abstraction	0
Split Principles	0
The Marker–Steinhorn Theorem	0
The Principle of Open Induction on [0,1] and the Approximate-Fan Theorem	0
Characterizing Counterfactuals and Dependencies over (Generalized) Causal Teams	0
Deduction Theorem in Congruential Modal Logics	0