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

Article	Citations
Cut Elimination for Systems of Transparent Truth with Restricted Initial Sequents	8
An Invitation to Extension Domination	6
One Lie Group to Define Them All	4
What Problem Did Ladd-Franklin (Think She) Solve(d)?	4
Supercompactness Can Be Equiconsistent with Measurability	4
Stage Comparison, Fixed Points, and Least Fixed Points in Kripke–Platek Environments	4
Characterizing von Neumann Regular Rings in Reverse Mathematics	4
Typicality à la Russell in Set Theory	4
Generalizing Montague’s Theorem on Recursive Definitions	3
Solovay’s Relative Consistency Proof for FIM and BI	3
Quasi-Polyadic Algebras and Their Dual Position	3
Two Variants of Noncontingency Operator	3
On Coincidence of Dimensions in Closed Ordered Differential Fields	3
Deduction Theorem in Congruential Modal Logics	2
There Are No Minimal Effectively Inseparable Theories	2
Beyond Berkson: Further Light on the Selection Bias	2
Planar Graphs with Separation Are dp-Minimal	2
Definable Version of Wedderburn–Artin Theorem in O-Minimal Structures	2
Shrieking, Shrugging, and the Australian Plan	2
Meaningless Divisions	2
Hierarchical Multiverse of Sets	2
Decision Times of Infinite Computations	2
Simple Tableaus for Simple Logics	2
Model-Theoretic Properties of Dynamics on the Cantor Set	1
Topic-Theoretic Extensions of Analytic Implication	1

On VC-Density in VC-Minimal Theories	1
Topologizing Interpretable Groups in p-Adically Closed Fields	1
Definability of Boolean Functions in Kripke Semantics	1
Representations and the Foundations of Mathematics	1
An Incompleteness Theorem for Modal Relevant Logics	1
A Family of dp-Minimal Expansions of (Z;+)	1
Games on Base Matrices	1
Witt Vectors and Separably Closed Fields with Higher Derivations	1
Some Results on Non-Club Isomorphic Aronszajn Trees	1
Products of Classes of Finite Structures	1
Modal Logics That Are Both Monotone and Antitone: Makinson’s Extension Results and Affinities between Logics	1
Boolean-Valued Models of Set Theory with Urelements	1
Logics of True Belief	1
The Complexity of Module Radicals	1
Broad Infinity and Generation Principles	0
Effect of the Choice of Connectives on the Relation between Classical Logic and Intuitionistic Logic	0
On Cns(κ) and the Juhász–Kunen Question	0
Sets Completely Separated by Functions in Bishop Set Theory	0
Definable Continuous Solutions of Linear Equations	0
Terence Tao, Hilbert’s Fifth Problem and Related Topics. American Mathematical Society, Providence, 2014. 338 pp.	0
Modal Model Theory	0
Iterating Both and Neither: With Applications to the Paradoxes	0
A Temporal Epistemic Deontic Logic	0
Wittgensteinian Predicate Logic and Compositionality	0
Tableaux and Interpolation for Propositional Justification Logics	0
Identity and the Cognitive Value of Logical Equations in Frege’s Foundational Project	0
Effectiveness for the Dual Ramsey Theorem	0
Full Satisfaction Classes, Definability, and Automorphisms	0
Nondefinability of Rings of Integers in Most Algebraic Fields	0
Poly-Connexivity: Connexive Conjunction and Disjunction	0
Lower Bounds of Sets of P-points	0
Bicontextualism	0
In Memoriam: Zoé Chatzidakis	0
IKTω and Łukasiewicz-Models	0
Provable Better-Quasi-Orders	0
A Choice-Free Cardinal Equality	0
Spiritus Asper versus Lambda: On the Nature of Functional Abstraction	0
Dominating Orders, Vertex Pursuit Games, and Computability Theory	0
A Problem for Relative-Sameness Semantics	0
No Decreasing Sequence of Cardinals in the Hierarchy of Choice Principles	0
A Natural Deduction Calculus for S4.2	0
Outline of an Intensional Theory of Truth	0
Substitutional Validity for Modal Logic	0
The Diversity of Minimal Cofinal Extensions	0
Dialetheias and Numbers Distinct from Themselves	0
Structural Weakening and Paradoxes	0
In Memoriam: Yoram Hirshfeld	0
Core Tarski and Core McGee	0
Did Aristotle Endorse Aristotle’s Thesis? A Case Study in Aristotle’s Metalogic	0
Completeness of Infinitary Heterogeneous Logic	0

Monotone Subintuitionistic Logic: Duality and Transfer Results	0
Grothendieck Ring of the Pairing Function without Cycles	0
C. I. Lewis’s Intensional Semantics	0
Weak Kleene and Other Weak Logics of Conditionals	0
Tall Cardinals in Extender Models	0
Inclosure and Intolerance	0
Measuring Inconsistency in Some Logics with Tense Operators	0
Characterizing Counterfactuals and Dependencies over (Generalized) Causal Teams	0
A Walk with Goodstein and Ackermann	0
Core Gödel	0
Responsibility in Infinite Games	0
On Stable Quotients	0
The Complexity of Decomposability of Computable Rings	0
Classifying Invariants for E1: A Tail of a Generic Real	0
Classical Mereology Is Axiomatizable Using Primitive Fusion in Two-Sorted Logic	0
State-Based Modal Logics for Free Choice	0
Reflexive-Insensitive Logics, the Boxdot Translation, and the Modal Logic of Generic Absoluteness	0
Effectively Constructible Fixed Points in Sacchetti’s Modal Logics of Provability	0
Unitary Representations of Locally Compact Groups as Metric Structures	0
A Probabilistic Semantics for Belief Logic	0
How to Take Cats Together	0
Modal Metatheory for Quantified Modal Logic, With and Without the Barcan Formulas	0
The Marker–Steinhorn Theorem	0
Tame Topology over Definable Uniform Structures	0
A Note on Torsion Modules with Pure Embeddings	0
Stabilizers, Measures, and IP Sets	0
Sequent Calculi for Intuitionistic Gödel–Löb Logic	0
Embeddings between Partial Combinatory Algebras	0
Geometric Modal Logic	0
A Completeness Proof for a Regular Predicate Logic with Undefined Truth Value	0
Orthogonal Definable Subspaces of Hilbert Spaces: An Application of Goldblatt’s Method	0
Proof Nets for Classical Logic	0
Burden of Henselian Valued Fields in the Denef–Pas Language	0
A Local Version of the Slaman–Wehner Theorem and Families Closed Under Finite Differences	0
Thin Set Versions of Hindman’s Theorem	0
Left Variable Inclusion Logics Associated with Classical Logic	0
Structural Completeness in Many-Valued Logics with Rational Constants	0
Vaught’s Conjecture for Theories of Discretely Ordered Structures	0