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

Article	Citations
Simple Tableaus for Simple Logics	11
Shrieking, Shrugging, and the Australian Plan	5
Meaningless Divisions	5
Tall Cardinals in Extender Models	4
Structural Completeness in Many-Valued Logics with Rational Constants	4
Effectiveness for the Dual Ramsey Theorem	4
Burden of Henselian Valued Fields in the Denef–Pas Language	4
Left Variable Inclusion Logics Associated with Classical Logic	3
Provable Better-Quasi-Orders	3
Dominating Orders, Vertex Pursuit Games, and Computability Theory	3
A Walk with Goodstein and Ackermann	3
A Completeness Proof for a Regular Predicate Logic with Undefined Truth Value	3
A Problem for Relative-Sameness Semantics	2
Completeness of Infinitary Heterogeneous Logic	2
On Cns(κ) and the Juhász–Kunen Question	2
Geometric Modal Logic	2
The Complexity of Decomposability of Computable Rings	2
Core Tarski and Core McGee	2
Measuring Inconsistency in Some Logics with Tense Operators	2
Sets Completely Separated by Functions in Bishop Set Theory	2
Effectively Constructible Fixed Points in Sacchetti’s Modal Logics of Provability	2
Some Results on Non-Club Isomorphic Aronszajn Trees	1
Definability of Boolean Functions in Kripke Semantics	1
Unitary Representations of Locally Compact Groups as Metric Structures	1
Classifying Invariants for E1: A Tail of a Generic Real	1

Quasi-Polyadic Algebras and Their Dual Position	1
The Diversity of Minimal Cofinal Extensions	1
Did Aristotle Endorse Aristotle’s Thesis? A Case Study in Aristotle’s Metalogic	1
Terence Tao, Hilbert’s Fifth Problem and Related Topics. American Mathematical Society, Providence, 2014. 338 pp.	1
A Choice-Free Cardinal Equality	1
Classical Mereology Is Axiomatizable Using Primitive Fusion in Two-Sorted Logic	1
Core Gödel	1
Characterizing von Neumann Regular Rings in Reverse Mathematics	1
Products of Classes of Finite Structures	1
Tableaux and Interpolation for Propositional Justification Logics	1
Witt Vectors and Separably Closed Fields with Higher Derivations	1
Nondefinability of Rings of Integers in Most Algebraic Fields	1
Modal Model Theory	1
What Problem Did Ladd-Franklin (Think She) Solve(d)?	1
Typicality à la Russell in Set Theory	0
An Incompleteness Theorem for Modal Relevant Logics	0
Deduction Theorem in Congruential Modal Logics	0
How to Take Cats Together	0
Beyond Berkson: Further Light on the Selection Bias	0
Broad Infinity and Generation Principles	0
A Family of dp-Minimal Expansions of (Z;+)	0
One Lie Group to Define Them All	0
Generalizing Montague’s Theorem on Recursive Definitions	0
Planar Graphs with Separation Are dp-Minimal	0
Stabilizers, Measures, and IP Sets	0
In Memoriam: Yoram Hirshfeld	0
A Note on Torsion Modules with Pure Embeddings	0
In Memoriam: Zoé Chatzidakis	0
Boolean-Valued Models of Set Theory with Urelements	0
Embeddings between Partial Combinatory Algebras	0
Iterating Both and Neither: With Applications to the Paradoxes	0
Cut Elimination for Systems of Transparent Truth with Restricted Initial Sequents	0
Vaught’s Conjecture for Theories of Discretely Ordered Structures	0
Substitutional Validity for Modal Logic	0
Tame Topology over Definable Uniform Structures	0
Orthogonal Definable Subspaces of Hilbert Spaces: An Application of Goldblatt’s Method	0
Identity and the Cognitive Value of Logical Equations in Frege’s Foundational Project	0
Model-Theoretic Properties of Dynamics on the Cantor Set	0
There Are No Minimal Effectively Inseparable Theories	0
Full Satisfaction Classes, Definability, and Automorphisms	0
Characterizing Counterfactuals and Dependencies over (Generalized) Causal Teams	0
Logics of True Belief	0
Wittgensteinian Predicate Logic and Compositionality	0
Stage Comparison, Fixed Points, and Least Fixed Points in Kripke–Platek Environments	0
Effect of the Choice of Connectives on the Relation between Classical Logic and Intuitionistic Logic	0
Monotone Subintuitionistic Logic: Duality and Transfer Results	0
On Stable Quotients	0
Poly-Connexivity: Connexive Conjunction and Disjunction	0
Topologizing Interpretable Groups in p-Adically Closed Fields	0
A Local Version of the Slaman–Wehner Theorem and Families Closed Under Finite Differences	0

Definable Version of Wedderburn–Artin Theorem in O-Minimal Structures	0
Weak Kleene and Other Weak Logics of Conditionals	0
Dialetheias and Numbers Distinct from Themselves	0
Solovay’s Relative Consistency Proof for FIM and BI	0
The Marker–Steinhorn Theorem	0
A Natural Deduction Calculus for S4.2	0
On VC-Density in VC-Minimal Theories	0
A Temporal Epistemic Deontic Logic	0
Topic-Theoretic Extensions of Analytic Implication	0
A Probabilistic Semantics for Belief Logic	0
Decision Times of Infinite Computations	0
State-Based Modal Logics for Free Choice	0
Grothendieck Ring of the Pairing Function without Cycles	0
Modal Logics That Are Both Monotone and Antitone: Makinson’s Extension Results and Affinities between Logics	0
Supercompactness Can Be Equiconsistent with Measurability	0
Hierarchical Multiverse of Sets	0
Lower Bounds of Sets of P-points	0
Representations and the Foundations of Mathematics	0
Thin Set Versions of Hindman’s Theorem	0
Outline of an Intensional Theory of Truth	0
Games on Base Matrices	0
C. I. Lewis’s Intensional Semantics	0
An Invitation to Extension Domination	0
Spiritus Asper versus Lambda: On the Nature of Functional Abstraction	0
No Decreasing Sequence of Cardinals in the Hierarchy of Choice Principles	0
Two Variants of Noncontingency Operator	0
Bicontextualism	0
Responsibility in Infinite Games	0