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

Article	Citations
Simple Tableaus for Simple Logics	10
Shrieking, Shrugging, and the Australian Plan	6
A Completeness Proof for a Regular Predicate Logic with Undefined Truth Value	4
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
Meaningless Divisions	4
Left Variable Inclusion Logics Associated with Classical Logic	3
Dominating Orders, Vertex Pursuit Games, and Computability Theory	3
Proof Nets for Classical Logic	3
A Walk with Goodstein and Ackermann	3
Provable Better-Quasi-Orders	3
Definable Continuous Solutions of Linear Equations	2
Core Tarski and Core McGee	2
Geometric Modal Logic	2
The Complexity of Decomposability of Computable Rings	2
A Problem for Relative-Sameness Semantics	2
Tableaux and Interpolation for Propositional Justification Logics	2
Measuring Inconsistency in Some Logics with Tense Operators	2
On Cns(κ) and the Juhász–Kunen Question	2
Effectively Constructible Fixed Points in Sacchetti’s Modal Logics of Provability	2
Products of Classes of Finite Structures	2
Sets Completely Separated by Functions in Bishop Set Theory	2
Completeness of Infinitary Heterogeneous Logic	2

The Diversity of Minimal Cofinal Extensions	1
Definability of Boolean Functions in Kripke Semantics	1
Witt Vectors and Separably Closed Fields with Higher Derivations	1
Quasi-Polyadic Algebras and Their Dual Position	1
Classical Mereology Is Axiomatizable Using Primitive Fusion in Two-Sorted Logic	1
Cut Elimination for Systems of Transparent Truth with Restricted Initial Sequents	1
Some Results on Non-Club Isomorphic Aronszajn Trees	1
Did Aristotle Endorse Aristotle’s Thesis? A Case Study in Aristotle’s Metalogic	1
Unitary Representations of Locally Compact Groups as Metric Structures	1
Core Gödel	1
Characterizing von Neumann Regular Rings in Reverse Mathematics	1
An Invitation to Extension Domination	1
Terence Tao, Hilbert’s Fifth Problem and Related Topics. American Mathematical Society, Providence, 2014. 338 pp.	1
A Choice-Free Cardinal Equality	1
Classifying Invariants for E1: A Tail of a Generic Real	1
Modal Model Theory	1
What Problem Did Ladd-Franklin (Think She) Solve(d)?	1
Nondefinability of Rings of Integers in Most Algebraic Fields	1
Spiritus Asper versus Lambda: On the Nature of Functional Abstraction	0
Deduction Theorem in Congruential Modal Logics	0
Monotone Subintuitionistic Logic: Duality and Transfer Results	0
Supercompactness Can Be Equiconsistent with Measurability	0
Logics of True Belief	0
An Incompleteness Theorem for Modal Relevant Logics	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
Wittgensteinian Predicate Logic and Compositionality	0
In Memoriam: Yoram Hirshfeld	0
The Complexity of Module Radicals	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
In Memoriam: Zoé Chatzidakis	0
Boolean-Valued Models of Set Theory with Urelements	0
Stabilizers, Measures, and IP Sets	0
Stage Comparison, Fixed Points, and Least Fixed Points in Kripke–Platek Environments	0
A Note on Torsion Modules with Pure Embeddings	0
IKTω and Łukasiewicz-Models	0
Generalizing Montague’s Theorem on Recursive Definitions	0
Vaught’s Conjecture for Theories of Discretely Ordered Structures	0
On Stable Quotients	0
Outline of an Intensional Theory of Truth	0
Poly-Connexivity: Connexive Conjunction and Disjunction	0
Identity and the Cognitive Value of Logical Equations in Frege’s Foundational Project	0
A Family of dp-Minimal Expansions of (Z;+)	0
Inclosure and Intolerance	0
Characterizing Counterfactuals and Dependencies over (Generalized) Causal Teams	0
Responsibility in Infinite Games	0

State-Based Modal Logics for Free Choice	0
No Decreasing Sequence of Cardinals in the Hierarchy of Choice Principles	0
A Probabilistic Semantics for Belief Logic	0
Two Variants of Noncontingency Operator	0
Full Satisfaction Classes, Definability, and Automorphisms	0
Substitutional Validity for Modal Logic	0
Hierarchical Multiverse of Sets	0
Beyond Berkson: Further Light on the Selection Bias	0
Decision Times of Infinite Computations	0
Reflexive-Insensitive Logics, the Boxdot Translation, and the Modal Logic of Generic Absoluteness	0
Games on Base Matrices	0
Tame Topology over Definable Uniform Structures	0
C. I. Lewis’s Intensional Semantics	0
Lower Bounds of Sets of P-points	0
Sequent Calculi for Intuitionistic Gödel–Löb Logic	0
Solovay’s Relative Consistency Proof for FIM and BI	0
The Marker–Steinhorn Theorem	0
Representations and the Foundations of Mathematics	0
Weak Kleene and Other Weak Logics of Conditionals	0
Planar Graphs with Separation Are dp-Minimal	0
Model-Theoretic Properties of Dynamics on the Cantor Set	0
Modal Metatheory for Quantified Modal Logic, With and Without the Barcan Formulas	0
Orthogonal Definable Subspaces of Hilbert Spaces: An Application of Goldblatt’s Method	0
On Coincidence of Dimensions in Closed Ordered Differential Fields	0
Topic-Theoretic Extensions of Analytic Implication	0
Iterating Both and Neither: With Applications to the Paradoxes	0
Dialetheias and Numbers Distinct from Themselves	0
Structural Weakening and Paradoxes	0
Typicality à la Russell in Set Theory	0
One Lie Group to Define Them All	0
On VC-Density in VC-Minimal Theories	0
Embeddings between Partial Combinatory Algebras	0
Definable Version of Wedderburn–Artin Theorem in O-Minimal Structures	0
Thin Set Versions of Hindman’s Theorem	0
A Local Version of the Slaman–Wehner Theorem and Families Closed Under Finite Differences	0
Topologizing Interpretable Groups in p-Adically Closed Fields	0
Effect of the Choice of Connectives on the Relation between Classical Logic and Intuitionistic Logic	0
Bicontextualism	0