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

Article	Citations
Asymptotic Classes of Trees and ℵ0-categoricity	5
Simple Tableaus for Simple Logics	5
Logics of False Belief and Reliable Belief	4
Exponential Fields: Lack of Generic Derivations	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
A Completeness Proof for a Regular Predicate Logic with Undefined Truth Value	3
Structural Completeness in Many-Valued Logics with Rational Constants	2
Sets Completely Separated by Functions in Bishop Set Theory	2
The Complexity of Decomposability of Computable Rings	2
Boolean Completeness of Infinitary Logic with Arbitrary Signatures	2
Provable Better-Quasi-Orders	2
Geometric Modal Logic	2
Completeness of Infinitary Heterogeneous Logic	2
Tableaux and Interpolation for Propositional Justification Logics	2
Left Variable Inclusion Logics Associated with Classical Logic	2
A Problem for Relative-Sameness Semantics	2
Measuring Inconsistency in Some Logics with Tense Operators	2
Simple Tableaus for Simple Intuitionistic Logics	2
On Cns(κ) and the Juhász–Kunen Question	2
Terence Tao, Hilbert’s Fifth Problem and Related Topics. American Mathematical Society, Providence, 2014. 338 pp.	1
Classifying Invariants for E1: A Tail of a Generic Real	1
Core Gödel	1

Definable Version of Wedderburn–Artin Theorem in O-Minimal Structures	1
Witt Vectors and Separably Closed Fields with Higher Derivations	1
Epistemic Counterpossibilism	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
Modal Model Theory	1
Local O-Minimality and Prime Models	1
Model Theory of Homogeneous D-Sets	1
Core Tarski and Core McGee	1
Definability of Boolean Functions in Kripke Semantics	1
Classical Mereology Is Axiomatizable Using Primitive Fusion in Two-Sorted Logic	1
The Diversity of Minimal Cofinal Extensions	1
An Invitation to Extension Domination	1
Computable Categoricity Relative to a C.E. Degree	1
Zorn’s Lemma, Reverse Mathematics, and Applications in Combinatorics	1
Note on a Differential Algebra Bound	0
Complexity of Codes for Ramsey Positive Sets	0
Iterating Both and Neither: With Applications to the Paradoxes	0
On Nondefinability of Interior-Connectedness via the Contact Relation	0
On Stable Quotients	0
Hierarchical Multiverse of Sets	0
Lindström’s Characterizability of Abstract Logic Systems for Analytic Structures Based on Measures	0
In Memoriam: Zoé Chatzidakis	0
Varieties of Modal Algebras Without the Congruence Extension Property	0
Deduction Theorem in Congruential Modal Logics	0
A Local Version of the Slaman–Wehner Theorem and Families Closed Under Finite Differences	0
Sub-Sub-Intuitionistic Logic	0
Model-Theoretic Properties of Dynamics on the Cantor Set	0
Poly-Connexivity: Connexive Conjunction and Disjunction	0
Stratified Formulas Are Not Context-Free	0
There Are No Minimal Effectively Inseparable Theories	0
The Marker–Steinhorn Theorem	0
A Natural Deduction Calculus for S4.2	0
The Principle of Open Induction on [0,1] and the Approximate-Fan Theorem	0
Characterizing Counterfactuals and Dependencies over (Generalized) Causal Teams	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
Wittgensteinian Predicate Logic and Compositionality	0
How to Take Cats Together	0
Stabilizers, Measures, and IP Sets	0
Axioms for Commutative Unital Rings Elementarily Equivalent to Restricted Products of Connected Rings	0
Planar Graphs with Separation Are dp-Minimal	0
Thin Set Versions of Hindman’s Theorem	0
Embeddings between Partial Combinatory Algebras	0
A Note on Torsion Modules with Pure Embeddings	0
Split Principles	0
Boolean-Valued Models of Set Theory with Urelements	0
Generically Extendible Cardinals	0
Bicontextualism	0

Well-Behaved Truth	0
Topic-Theoretic Extensions of Analytic Implication	0
Vaught’s Conjecture for Theories of Discretely Ordered Structures	0
Two Uncountable Coloring Results on Semigroups	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
A Family of dp-Minimal Expansions of (Z;+)	0
Substitutional Validity for Modal Logic	0
Broad Infinity and Generation Principles	0
Dialetheias and Numbers Distinct from Themselves	0
State-Based Modal Logics for Free Choice	0
Rough Approximate Subgroups	0
Identity and the Cognitive Value of Logical Equations in Frege’s Foundational Project	0
Lower Bounds of Sets of P-points	0
On VC-Density in VC-Minimal Theories	0
Logics of True Belief	0
Stationary Tower Forcing and Universally Baire Sets	0
In Memoriam: Yoram Hirshfeld	0
Games on Base Matrices	0
Frege’s Logic in Grundgesetze Is Nonclassical	0
C. I. Lewis’s Intensional Semantics	0
Topologizing Interpretable Groups in p-Adically Closed Fields	0
Erratum	0
Class Theory in HYPE	0
Beyond Berkson: Further Light on the Selection Bias	0
A Temporal Epistemic Deontic Logic	0
Weak Kleene and Other Weak Logics of Conditionals	0
Responsibility in Infinite Games	0
Spiritus Asper versus Lambda: On the Nature of Functional Abstraction	0
A Nonsplitting Theorem in the Low2 Turing Degrees	0
Reductions of Well-Ordering Principles to Combinatorial Theorems	0
Unified Natural Deduction for Logics of Strong Negation	0
On Sylow Theory for Linear Pseudofinite Groups	0
Paraconsistent Models of Zermelo–Fraenkel Set Theory	0