OOIR: Observatory of International Research

Papers

(The TQCC of Notre Dame Journal of Formal Logic is 1. 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 2022-05-01 to 2026-05-01.)

Article	Citations
Simple Tableaus for Simple Logics	5
Shrieking, Shrugging, and the Australian Plan	5
Logics of False Belief and Reliable Belief	4
Exponential Fields: Lack of Generic Derivations	4
Asymptotic Classes of Trees and ℵ0-categoricity	4
The Proof-Theoretic Strength of Constructive Second-Order Set Theories	4
Burden of Henselian Valued Fields in the Denef–Pas Language	3
A Walk with Goodstein and Ackermann	3
Left Variable Inclusion Logics Associated with Classical Logic	3
A Completeness Proof for a Regular Predicate Logic with Undefined Truth Value	3
Structural Completeness in Many-Valued Logics with Rational Constants	3
Dominating Orders, Vertex Pursuit Games, and Computability Theory	3
Provable Better-Quasi-Orders	3
Measuring Inconsistency in Some Logics with Tense Operators	2
Geometric Modal Logic	2
Core Tarski and Core McGee	2
A Problem for Relative-Sameness Semantics	2
On Cns(κ) and the Juhász–Kunen Question	2
Simple Tableaus for Simple Intuitionistic Logics	2
Products of Classes of Finite Structures	2
Sets Completely Separated by Functions in Bishop Set Theory	2
The Complexity of Decomposability of Computable Rings	2
Tableaux and Interpolation for Propositional Justification Logics	2
Completeness of Infinitary Heterogeneous Logic	2
Core Gödel	1

Definable Version of Wedderburn–Artin Theorem in O-Minimal Structures	1
Unitary Representations of Locally Compact Groups as Metric Structures	1
Witt Vectors and Separably Closed Fields with Higher Derivations	1
Zorn’s Lemma, Reverse Mathematics, and Applications in Combinatorics	1
Classifying Invariants for E1: A Tail of a Generic Real	1
Classical Mereology Is Axiomatizable Using Primitive Fusion in Two-Sorted Logic	1
Well-Behaved Truth	1
Local O-Minimality and Prime Models	1
Computable Categoricity Relative to a C.E. Degree	1
The Diversity of Minimal Cofinal Extensions	1
Modal Model Theory	1
An Invitation to Extension Domination	1
Boolean-Valued Models of Set Theory with Urelements	1
Did Aristotle Endorse Aristotle’s Thesis? A Case Study in Aristotle’s Metalogic	1
Definability of Boolean Functions in Kripke Semantics	1
Terence Tao, Hilbert’s Fifth Problem and Related Topics. American Mathematical Society, Providence, 2014. 338 pp.	1