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

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

Zorn’s Lemma, Reverse Mathematics, and Applications in Combinatorics	1
Classifying Invariants for E1: A Tail of a Generic Real	1
Classical Mereology Is Axiomatizable Using Primitive Fusion in Two-Sorted Logic	1
Well-Behaved Truth	1
Local O-Minimality and Prime Models	1
Computable Categoricity Relative to a C.E. Degree	1
The Diversity of Minimal Cofinal Extensions	1
Modal Model Theory	1
An Invitation to Extension Domination	1
Boolean-Valued Models of Set Theory with Urelements	1
Did Aristotle Endorse Aristotle’s Thesis? A Case Study in Aristotle’s Metalogic	1
Definability of Boolean Functions in Kripke Semantics	1
Terence Tao, Hilbert’s Fifth Problem and Related Topics. American Mathematical Society, Providence, 2014. 338 pp.	1
Core Gödel	1
Definable Version of Wedderburn–Artin Theorem in O-Minimal Structures	1
Unitary Representations of Locally Compact Groups as Metric Structures	1
Iterating Both and Neither: With Applications to the Paradoxes	0
Unified Natural Deduction for Logics of Strong Negation	0
Full Satisfaction Classes, Definability, and Automorphisms	0
A Natural Deduction Calculus for S4.2	0
A Temporal Epistemic Deontic Logic	0
Characterizing Counterfactuals and Dependencies over (Generalized) Causal Teams	0
Model-Theoretic Properties of Dynamics on the Cantor Set	0
A Family of dp-Minimal Expansions of (Z;+)	0
Rough Approximate Subgroups	0
Modal Logics That Are Both Monotone and Antitone: Makinson’s Extension Results and Affinities between Logics	0
Deduction Theorem in Congruential Modal Logics	0
Planar Graphs with Separation Are dp-Minimal	0
Effect of the Choice of Connectives on the Relation between Classical Logic and Intuitionistic Logic	0
Poly-Connexivity: Connexive Conjunction and Disjunction	0
On Stable Quotients	0
A Local Version of the Slaman–Wehner Theorem and Families Closed Under Finite Differences	0
Lindström’s Characterizability of Abstract Logic Systems for Analytic Structures Based on Measures	0
Bicontextualism	0
Games on Base Matrices	0
The Marker–Steinhorn Theorem	0
Beyond Berkson: Further Light on the Selection Bias	0
Wittgensteinian Predicate Logic and Compositionality	0
Identity and the Cognitive Value of Logical Equations in Frege’s Foundational Project	0
No Decreasing Sequence of Cardinals in the Hierarchy of Choice Principles	0
State-Based Modal Logics for Free Choice	0
Responsibility in Infinite Games	0
Orthogonal Definable Subspaces of Hilbert Spaces: An Application of Goldblatt’s Method	0
Broad Infinity and Generation Principles	0
There Are No Minimal Effectively Inseparable Theories	0
Logics of True Belief	0
A Nonsplitting Theorem in the Low2 Turing Degrees	0
Generically Extendible Cardinals	0
Stage Comparison, Fixed Points, and Least Fixed Points in Kripke–Platek Environments	0
Stabilizers, Measures, and IP Sets	0

In Memoriam: Zoé Chatzidakis	0
Thin Set Versions of Hindman’s Theorem	0
Hierarchical Multiverse of Sets	0
A Note on Torsion Modules with Pure Embeddings	0
Vaught’s Conjecture for Theories of Discretely Ordered Structures	0
Decision Times of Infinite Computations	0
Monotone Subintuitionistic Logic: Duality and Transfer Results	0
Axioms for Commutative Unital Rings Elementarily Equivalent to Restricted Products of Connected Rings	0
Embeddings between Partial Combinatory Algebras	0
Dialetheias and Numbers Distinct from Themselves	0
How to Take Cats Together	0
Substitutional Validity for Modal Logic	0
Paraconsistent Models of Zermelo–Fraenkel Set Theory	0
On Sylow Theory for Linear Pseudofinite Groups	0
Topic-Theoretic Extensions of Analytic Implication	0
Grothendieck Ring of the Pairing Function without Cycles	0
Typicality à la Russell in Set Theory	0
The Principle of Open Induction on [0,1] and the Approximate-Fan Theorem	0
Split Principles	0
Complexity of Codes for Ramsey Positive Sets	0
In Memoriam: Yoram Hirshfeld	0
Lower Bounds of Sets of P-points	0
C. I. Lewis’s Intensional Semantics	0
Stationary Tower Forcing and Universally Baire Sets	0
Class Theory in HYPE	0
Topologizing Interpretable Groups in p-Adically Closed Fields	0
Weak Kleene and Other Weak Logics of Conditionals	0
On VC-Density in VC-Minimal Theories	0
Spiritus Asper versus Lambda: On the Nature of Functional Abstraction	0
Stratified Formulas Are Not Context-Free	0