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

Article	Citations
Meaningless Divisions	8
Structural Weakening and Paradoxes	6
The Shaping of Dedekind’s Rigorous Mathematics: What Do Dedekind’s Drafts Tell Us about His Ideal of Rigor?	5
Tame Topology over Definable Uniform Structures	4
An Incompleteness Theorem for Modal Relevant Logics	4
Inclosure and Intolerance	4
What Problem Did Ladd-Franklin (Think She) Solve(d)?	4
Effectiveness for the Dual Ramsey Theorem	4
Reverse Mathematics of Topology: Dimension, Paracompactness, and Splittings	4
On Stable Quotients	3
The Complexity of Module Radicals	3
Characterizing Counterfactuals and Dependencies over (Generalized) Causal Teams	3
Shrieking, Shrugging, and the Australian Plan	3
Open Texture and Mathematics	3
Typicality à la Russell in Set Theory	3
Monotone Subintuitionistic Logic: Duality and Transfer Results	2
Full Satisfaction Classes, Definability, and Automorphisms	2
Games on Base Matrices	2
Effect of the Choice of Connectives on the Relation between Classical Logic and Intuitionistic Logic	2
Sequent Calculi for Intuitionistic Gödel–Löb Logic	2
Topologizing Interpretable Groups in p-Adically Closed Fields	2
IKTω and Łukasiewicz-Models	2
Embeddings between Partial Combinatory Algebras	2
Cut Elimination for Systems of Transparent Truth with Restricted Initial Sequents	2
Decision Times of Infinite Computations	1

A Probabilistic Semantics for Belief Logic	1
Impurity in Contemporary Mathematics	1
Reflexive-Insensitive Logics, the Boxdot Translation, and the Modal Logic of Generic Absoluteness	1
Structural Completeness in Many-Valued Logics with Rational Constants	1
Poly-Connexivity: Connexive Conjunction and Disjunction	1
Mirroring Theorems in Free Logic	1
Modal Logics That Are Both Monotone and Antitone: Makinson’s Extension Results and Affinities between Logics	1
Solovay’s Relative Consistency Proof for FIM and BI	1
Identity and the Cognitive Value of Logical Equations in Frege’s Foundational Project	1
Four-Valued Logics of Truth, Nonfalsity, Exact Truth, and Material Equivalence	1
A Local Version of the Slaman–Wehner Theorem and Families Closed Under Finite Differences	1
Existentially Closed Closure Algebras	1
A Choice-Free Cardinal Equality	1
A Family of dp-Minimal Expansions of (Z;+)	1
Induction, Constructivity, and Grounding	1
Supercompactness Can Be Equiconsistent with Measurability	1
Wittgensteinian Predicate Logic and Compositionality	1
Core Gödel	1
Projective Games on the Reals	1
Nondefinability of Rings of Integers in Most Algebraic Fields	1
Did Aristotle Endorse Aristotle’s Thesis? A Case Study in Aristotle’s Metalogic	1
Weak Density and Nondensity among Transfinite Levels of the Ershov Hierarchy	1
Representations and the Foundations of Mathematics	1
Deduction Theorem in Congruential Modal Logics	0
A Walk with Goodstein and Ackermann	0
Coalgebra and Abstraction	0
Bicontextualism	0
Quasi-Polyadic Algebras and Their Dual Position	0
Stage Comparison, Fixed Points, and Least Fixed Points in Kripke–Platek Environments	0
Revisiting Chaitin’s Incompleteness Theorem	0
Dialetheias and Numbers Distinct from Themselves	0
Burden of Henselian Valued Fields in the Denef–Pas Language	0
A Note on Torsion Modules with Pure Embeddings	0
Effectively Constructible Fixed Points in Sacchetti’s Modal Logics of Provability	0
Terence Tao, Hilbert’s Fifth Problem and Related Topics. American Mathematical Society, Providence, 2014. 338 pp.	0
Tableaux and Interpolation for Propositional Justification Logics	0
On VC-Density in VC-Minimal Theories	0
Proof Nets for Classical Logic	0
Topic-Theoretic Extensions of Analytic Implication	0
The Complexity of Decomposability of Computable Rings	0
Introduction	0
Weak Kleene and Other Weak Logics of Conditionals	0
Hierarchical Multiverse of Sets	0
A Natural Deduction Calculus for S4.2	0
Two Variants of Noncontingency Operator	0
Unitary Representations of Locally Compact Groups as Metric Structures	0
On Coincidence of Dimensions in Closed Ordered Differential Fields	0
Characterizing von Neumann Regular Rings in Reverse Mathematics	0
A Completeness Proof for a Regular Predicate Logic with Undefined Truth Value	0
An Invitation to Extension Domination	0

Tall Cardinals in Extender Models	0
Existence of Certain Finite Relation Algebras Implies Failure of Omitting Types for L n	0
The Diversity of Minimal Cofinal Extensions	0
Modal Metatheory for Quantified Modal Logic, With and Without the Barcan Formulas	0
Outline of an Intensional Theory of Truth	0
Witt Vectors and Separably Closed Fields with Higher Derivations	0
Substitutional Validity for Modal Logic	0
Model-Theoretic Properties of Dynamics on the Cantor Set	0
Thin Set Versions of Hindman’s Theorem	0
Products of Classes of Finite Structures	0
Lower Bounds of Sets of P-points	0
Some Results on Non-Club Isomorphic Aronszajn Trees	0
A Problem for Relative-Sameness Semantics	0
Definable Version of Wedderburn–Artin Theorem in O-Minimal Structures	0
Generalizing Montague’s Theorem on Recursive Definitions	0
C. I. Lewis’s Intensional Semantics	0
Term-Space Semantics of Typed Lambda Calculus	0
One Lie Group to Define Them All	0
Remarks on Purity of Methods	0
Grothendieck Ring of the Pairing Function without Cycles	0
Definability of Boolean Functions in Kripke Semantics	0
Definable Continuous Solutions of Linear Equations	0
In Memoriam: Yoram Hirshfeld	0
Modal Model Theory	0
Logics of True Belief	0
Spiritus Asper versus Lambda: On the Nature of Functional Abstraction	0
Boolean-Valued Models of Set Theory with Urelements	0
Measuring Inconsistency in Some Logics with Tense Operators	0
On the Virtue of Categoricity	0
Geometric Modal Logic	0
There Are No Minimal Effectively Inseparable Theories	0
Sets Completely Separated by Functions in Bishop Set Theory	0