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

Article	Citations
Simple Tableaus for Simple Logics	5
Shrieking, Shrugging, and the Australian Plan	5
The Proof-Theoretic Strength of Constructive Second-Order Set Theories	5
Burden of Henselian Valued Fields in the Denef–Pas Language	4
A Completeness Proof for a Regular Predicate Logic with Undefined Truth Value	4
Structural Completeness in Many-Valued Logics with Rational Constants	4
Provable Better-Quasi-Orders	3
Dominating Orders, Vertex Pursuit Games, and Computability Theory	3
A Walk with Goodstein and Ackermann	3
Geometric Modal Logic	3
Left Variable Inclusion Logics Associated with Classical Logic	3
Measuring Inconsistency in Some Logics with Tense Operators	2
On Cns(κ) and the Juhász–Kunen Question	2
Tableaux and Interpolation for Propositional Justification Logics	2
Sets Completely Separated by Functions in Bishop Set Theory	2
A Problem for Relative-Sameness Semantics	2
Completeness of Infinitary Heterogeneous Logic	2
The Complexity of Decomposability of Computable Rings	2
Effectively Constructible Fixed Points in Sacchetti’s Modal Logics of Provability	2
Classical Mereology Is Axiomatizable Using Primitive Fusion in Two-Sorted Logic	1
An Invitation to Extension Domination	1
Unitary Representations of Locally Compact Groups as Metric Structures	1
Terence Tao, Hilbert’s Fifth Problem and Related Topics. American Mathematical Society, Providence, 2014. 338 pp.	1
Did Aristotle Endorse Aristotle’s Thesis? A Case Study in Aristotle’s Metalogic	1
Core Gödel	1

Characterizing von Neumann Regular Rings in Reverse Mathematics	1
Quasi-Polyadic Algebras and Their Dual Position	1
Some Results on Non-Club Isomorphic Aronszajn Trees	1
Definability of Boolean Functions in Kripke Semantics	1
The Diversity of Minimal Cofinal Extensions	1
Modal Model Theory	1
Cut Elimination for Systems of Transparent Truth with Restricted Initial Sequents	1
Classifying Invariants for E1: A Tail of a Generic Real	1
Core Tarski and Core McGee	1
Products of Classes of Finite Structures	1
Witt Vectors and Separably Closed Fields with Higher Derivations	1
Definable Version of Wedderburn–Artin Theorem in O-Minimal Structures	1
Identity and the Cognitive Value of Logical Equations in Frege’s Foundational Project	0
Supercompactness Can Be Equiconsistent with Measurability	0
One Lie Group to Define Them All	0
Effect of the Choice of Connectives on the Relation between Classical Logic and Intuitionistic Logic	0
Poly-Connexivity: Connexive Conjunction and Disjunction	0
On Stable Quotients	0
A Local Version of the Slaman–Wehner Theorem and Families Closed Under Finite Differences	0
A Note on Torsion Modules with Pure Embeddings	0
Weak Kleene and Other Weak Logics of Conditionals	0
Boolean-Valued Models of Set Theory with Urelements	0
Solovay’s Relative Consistency Proof for FIM and BI	0
Outline of an Intensional Theory of Truth	0
There Are No Minimal Effectively Inseparable Theories	0
An Incompleteness Theorem for Modal Relevant Logics	0
Hierarchical Multiverse of Sets	0
Generically Extendible Cardinals	0
Logics of True Belief	0
No Decreasing Sequence of Cardinals in the Hierarchy of Choice Principles	0
Grothendieck Ring of the Pairing Function without Cycles	0
Typicality à la Russell in Set Theory	0
Characterizing Counterfactuals and Dependencies over (Generalized) Causal Teams	0
On VC-Density in VC-Minimal Theories	0
How to Take Cats Together	0
Beyond Berkson: Further Light on the Selection Bias	0
A Nonsplitting Theorem in the Low2 Turing Degrees	0
Complexity of Codes for Ramsey Positive Sets	0
Modal Logics That Are Both Monotone and Antitone: Makinson’s Extension Results and Affinities between Logics	0
Lower Bounds of Sets of P-points	0
Embeddings between Partial Combinatory Algebras	0
Thin Set Versions of Hindman’s Theorem	0
Bicontextualism	0
Topologizing Interpretable Groups in p-Adically Closed Fields	0
C. I. Lewis’s Intensional Semantics	0
Deduction Theorem in Congruential Modal Logics	0
Topic-Theoretic Extensions of Analytic Implication	0
Monotone Subintuitionistic Logic: Duality and Transfer Results	0
In Memoriam: Yoram Hirshfeld	0
A Temporal Epistemic Deontic Logic	0

Spiritus Asper versus Lambda: On the Nature of Functional Abstraction	0
Responsibility in Infinite Games	0
A Family of dp-Minimal Expansions of (Z;+)	0
Dialetheias and Numbers Distinct from Themselves	0
Broad Infinity and Generation Principles	0
Stratified Formulas Are Not Context-Free	0
Full Satisfaction Classes, Definability, and Automorphisms	0
A Probabilistic Semantics for Belief Logic	0
Decision Times of Infinite Computations	0
State-Based Modal Logics for Free Choice	0
Tame Topology over Definable Uniform Structures	0
Stage Comparison, Fixed Points, and Least Fixed Points in Kripke–Platek Environments	0
Stabilizers, Measures, and IP Sets	0
In Memoriam: Zoé Chatzidakis	0
Lindström’s Characterizability of Abstract Logic Systems for Analytic Structures Based on Measures	0
Class Theory in HYPE	0
Games on Base Matrices	0
Iterating Both and Neither: With Applications to the Paradoxes	0
Vaught’s Conjecture for Theories of Discretely Ordered Structures	0
Representations and the Foundations of Mathematics	0
Model-Theoretic Properties of Dynamics on the Cantor Set	0
The Marker–Steinhorn Theorem	0
Orthogonal Definable Subspaces of Hilbert Spaces: An Application of Goldblatt’s Method	0
Planar Graphs with Separation Are dp-Minimal	0
Substitutional Validity for Modal Logic	0
The Principle of Open Induction on [0,1] and the Approximate-Fan Theorem	0
Wittgensteinian Predicate Logic and Compositionality	0
Split Principles	0
A Natural Deduction Calculus for S4.2	0
On Sylow Theory for Linear Pseudofinite Groups	0