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

Article	Citations
Simple Tableaus for Simple Logics	5
Shrieking, Shrugging, and the Australian Plan	5
Logics of False Belief and Reliable Belief	5
Asymptotic Classes of Trees and ℵ0-categoricity	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
Left Variable Inclusion Logics Associated with Classical Logic	3
A Completeness Proof for a Regular Predicate Logic with Undefined Truth Value	3
Completeness of Infinitary Heterogeneous Logic	2
A Problem for Relative-Sameness Semantics	2
On Cns(κ) and the Juhász–Kunen Question	2
Measuring Inconsistency in Some Logics with Tense Operators	2
Provable Better-Quasi-Orders	2
Geometric Modal Logic	2
The Complexity of Decomposability of Computable Rings	2
Structural Completeness in Many-Valued Logics with Rational Constants	2
Sets Completely Separated by Functions in Bishop Set Theory	2
Tableaux and Interpolation for Propositional Justification Logics	1
Core Tarski and Core McGee	1
Computable Categoricity Relative to a C.E. Degree	1
Did Aristotle Endorse Aristotle’s Thesis? A Case Study in Aristotle’s Metalogic	1
Classifying Invariants for E1: A Tail of a Generic Real	1

Classical Mereology Is Axiomatizable Using Primitive Fusion in Two-Sorted Logic	1
The Diversity of Minimal Cofinal Extensions	1
Witt Vectors and Separably Closed Fields with Higher Derivations	1
Some Results on Non-Club Isomorphic Aronszajn Trees	1
Definability of Boolean Functions in Kripke Semantics	1
An Invitation to Extension Domination	1
Core Gödel	1
Characterizing von Neumann Regular Rings in Reverse Mathematics	1
Effectively Constructible Fixed Points in Sacchetti’s Modal Logics of Provability	1
Products of Classes of Finite Structures	1
Terence Tao, Hilbert’s Fifth Problem and Related Topics. American Mathematical Society, Providence, 2014. 338 pp.	1
Unitary Representations of Locally Compact Groups as Metric Structures	1
Modal Model Theory	1
Definable Version of Wedderburn–Artin Theorem in O-Minimal Structures	1
Spiritus Asper versus Lambda: On the Nature of Functional Abstraction	0
Thin Set Versions of Hindman’s Theorem	0
The Marker–Steinhorn Theorem	0
Representations and the Foundations of Mathematics	0
Solovay’s Relative Consistency Proof for FIM and BI	0
Logics of True Belief	0
Model-Theoretic Properties of Dynamics on the Cantor Set	0
Grothendieck Ring of the Pairing Function without Cycles	0
A Temporal Epistemic Deontic Logic	0
Broad Infinity and Generation Principles	0
A Natural Deduction Calculus for S4.2	0
How to Take Cats Together	0
Unified Natural Deduction for Logics of Strong Negation	0
On VC-Density in VC-Minimal Theories	0
Responsibility in Infinite Games	0
Games on Base Matrices	0
Modal Logics That Are Both Monotone and Antitone: Makinson’s Extension Results and Affinities between Logics	0
There Are No Minimal Effectively Inseparable Theories	0
Decision Times of Infinite Computations	0
Embeddings between Partial Combinatory Algebras	0
Boolean-Valued Models of Set Theory with Urelements	0
Lower Bounds of Sets of P-points	0
C. I. Lewis’s Intensional Semantics	0
Class Theory in HYPE	0
Tame Topology over Definable Uniform Structures	0
Vaught’s Conjecture for Theories of Discretely Ordered Structures	0
Stratified Formulas Are Not Context-Free	0
Monotone Subintuitionistic Logic: Duality and Transfer Results	0
Split Principles	0
Generically Extendible Cardinals	0
A Family of dp-Minimal Expansions of (Z;+)	0
An Incompleteness Theorem for Modal Relevant Logics	0
Characterizing Counterfactuals and Dependencies over (Generalized) Causal Teams	0
Deduction Theorem in Congruential Modal Logics	0
Full Satisfaction Classes, Definability, and Automorphisms	0
Substitutional Validity for Modal Logic	0

Iterating Both and Neither: With Applications to the Paradoxes	0
Dialetheias and Numbers Distinct from Themselves	0
State-Based Modal Logics for Free Choice	0
Typicality à la Russell in Set Theory	0
Topologizing Interpretable Groups in p-Adically Closed Fields	0
One Lie Group to Define Them All	0
Cut Elimination for Systems of Transparent Truth with Restricted Initial Sequents	0
Lindström’s Characterizability of Abstract Logic Systems for Analytic Structures Based on Measures	0
Poly-Connexivity: Connexive Conjunction and Disjunction	0
Bicontextualism	0
Stabilizers, Measures, and IP Sets	0
In Memoriam: Zoé Chatzidakis	0
Complexity of Codes for Ramsey Positive Sets	0
Outline of an Intensional Theory of Truth	0
Rough Approximate Subgroups	0
A Probabilistic Semantics for Belief Logic	0
Weak Kleene and Other Weak Logics of Conditionals	0
Planar Graphs with Separation Are dp-Minimal	0
Beyond Berkson: Further Light on the Selection Bias	0
The Principle of Open Induction on [0,1] and the Approximate-Fan Theorem	0
Topic-Theoretic Extensions of Analytic Implication	0
Hierarchical Multiverse of Sets	0
Orthogonal Definable Subspaces of Hilbert Spaces: An Application of Goldblatt’s Method	0
On Sylow Theory for Linear Pseudofinite Groups	0
No Decreasing Sequence of Cardinals in the Hierarchy of Choice Principles	0
Identity and the Cognitive Value of Logical Equations in Frege’s Foundational Project	0
Wittgensteinian Predicate Logic and Compositionality	0
Stage Comparison, Fixed Points, and Least Fixed Points in Kripke–Platek Environments	0
Supercompactness Can Be Equiconsistent with Measurability	0
A Note on Torsion Modules with Pure Embeddings	0
A Nonsplitting Theorem in the Low2 Turing Degrees	0
Quasi-Polyadic Algebras and Their Dual Position	0
On Stable Quotients	0
In Memoriam: Yoram Hirshfeld	0
A Local Version of the Slaman–Wehner Theorem and Families Closed Under Finite Differences	0
Effect of the Choice of Connectives on the Relation between Classical Logic and Intuitionistic Logic	0