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

Article	Citations
Logics of False Belief and Reliable Belief	5
Asymptotic Classes of Trees and ℵ0-categoricity	5
Exponential Fields: Lack of Generic Derivations	4
The Proof-Theoretic Strength of Constructive Second-Order Set Theories	4
Simple Tableaus for Simple Logics	4
Dominating Orders, Vertex Pursuit Games, and Computability Theory	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
Left Variable Inclusion Logics Associated with Classical Logic	2
A Problem for Relative-Sameness Semantics	2
On Cns(κ) and the Juhász–Kunen Question	2
Simple Tableaus for Simple Intuitionistic Logics	2
Structural Completeness in Many-Valued Logics with Rational Constants	2
Geometric Modal Logic	2
The Complexity of Decomposability of Computable Rings	2
Measuring Inconsistency in Some Logics with Tense Operators	2
Provable Better-Quasi-Orders	2
Sets Completely Separated by Functions in Bishop Set Theory	2
Completeness of Infinitary Heterogeneous Logic	2
Classifying Invariants for E1: A Tail of a Generic Real	1
Boolean Completeness of Infinitary Logic with Arbitrary Signatures	1
Core Tarski and Core McGee	1
Computable Categoricity Relative to a C.E. Degree	1
Unitary Representations of Locally Compact Groups as Metric Structures	1

Local O-Minimality and Prime Models	1
Core Gödel	1
Epistemic Counterpossibilism	1
Model Theory of Homogeneous D-Sets	1
Zorn’s Lemma, Reverse Mathematics, and Applications in Combinatorics	1
Witt Vectors and Separably Closed Fields with Higher Derivations	1
The Diversity of Minimal Cofinal Extensions	1
Terence Tao, Hilbert’s Fifth Problem and Related Topics. American Mathematical Society, Providence, 2014. 338 pp.	1
Tableaux and Interpolation for Propositional Justification Logics	1
Products of Classes of Finite Structures	1
Definability of Boolean Functions in Kripke Semantics	1
Did Aristotle Endorse Aristotle’s Thesis? A Case Study in Aristotle’s Metalogic	1
On Stable Quotients	0
Topic-Theoretic Extensions of Analytic Implication	0
On Sylow Theory for Linear Pseudofinite Groups	0
Lindström’s Characterizability of Abstract Logic Systems for Analytic Structures Based on Measures	0
Responsibility in Infinite Games	0
Stage Comparison, Fixed Points, and Least Fixed Points in Kripke–Platek Environments	0
Varieties of Modal Algebras Without the Congruence Extension Property	0
No Decreasing Sequence of Cardinals in the Hierarchy of Choice Principles	0
Embeddings between Partial Combinatory Algebras	0
Well-Behaved Truth	0
C. I. Lewis’s Intensional Semantics	0
Modal Model Theory	0
Class Theory in HYPE	0
Weak Kleene and Other Weak Logics of Conditionals	0
Dialetheias and Numbers Distinct from Themselves	0
Planar Graphs with Separation Are dp-Minimal	0
A Family of dp-Minimal Expansions of (Z;+)	0
Iterating Both and Neither: With Applications to the Paradoxes	0
Split Principles	0
Rough Approximate Subgroups	0
State-Based Modal Logics for Free Choice	0
Model-Theoretic Properties of Dynamics on the Cantor Set	0
Axioms for Commutative Unital Rings Elementarily Equivalent to Restricted Products of Connected Rings	0
Thin Set Versions of Hindman’s Theorem	0
Orthogonal Definable Subspaces of Hilbert Spaces: An Application of Goldblatt’s Method	0
Hierarchical Multiverse of Sets	0
A Note on Torsion Modules with Pure Embeddings	0
A Natural Deduction Calculus for S4.2	0
On VC-Density in VC-Minimal Theories	0
Topologizing Interpretable Groups in p-Adically Closed Fields	0
A Temporal Epistemic Deontic Logic	0
In Memoriam: Yoram Hirshfeld	0
Definable Version of Wedderburn–Artin Theorem in O-Minimal Structures	0
A Local Version of the Slaman–Wehner Theorem and Families Closed Under Finite Differences	0
Classical Mereology Is Axiomatizable Using Primitive Fusion in Two-Sorted Logic	0
Spiritus Asper versus Lambda: On the Nature of Functional Abstraction	0
The Marker–Steinhorn Theorem	0
Stabilizers, Measures, and IP Sets	0

The Principle of Open Induction on [0,1] and the Approximate-Fan Theorem	0
Logics of True Belief	0
Beyond Berkson: Further Light on the Selection Bias	0
Characterizing Counterfactuals and Dependencies over (Generalized) Causal Teams	0
There Are No Minimal Effectively Inseparable Theories	0
How to Take Cats Together	0
Two Uncountable Coloring Results on Semigroups	0
Complexity of Codes for Ramsey Positive Sets	0
Wittgensteinian Predicate Logic and Compositionality	0
Stationary Tower Forcing and Universally Baire Sets	0
Paraconsistent Models of Zermelo–Fraenkel Set Theory	0
Modal Logics That Are Both Monotone and Antitone: Makinson’s Extension Results and Affinities between Logics	0
Games on Base Matrices	0
Substitutional Validity for Modal Logic	0
A Nonsplitting Theorem in the Low2 Turing Degrees	0
Boolean-Valued Models of Set Theory with Urelements	0
Unified Natural Deduction for Logics of Strong Negation	0
Poly-Connexivity: Connexive Conjunction and Disjunction	0
An Invitation to Extension Domination	0
In Memoriam: Zoé Chatzidakis	0
Vaught’s Conjecture for Theories of Discretely Ordered Structures	0
Lower Bounds of Sets of P-points	0
Bicontextualism	0
Stratified Formulas Are Not Context-Free	0
Reductions of Well-Ordering Principles to Combinatorial Theorems	0
Broad Infinity and Generation Principles	0
Generically Extendible Cardinals	0
On Nondefinability of Interior-Connectedness via the Contact Relation	0
Deduction Theorem in Congruential Modal Logics	0
Identity and the Cognitive Value of Logical Equations in Frege’s Foundational Project	0