OOIR: Observatory of International Research

Papers

(The TQCC of Review of Symbolic Logic is 2. 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
THE LOGIC OF THE EVIDENTIAL CONDITIONAL	11
AGAINST CUMULATIVE TYPE THEORY	7
RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH	7
PREDICATIVISM AS A FORM OF POTENTIALISM	6
, , AND REINHARDT’S PROGRAM	5
THE LATTICE OF SUPER-BELNAP LOGICS	5
SUBJECT-MATTER AND INTENSIONAL OPERATORS III: STATE-SENSITIVE SUBJECT-MATTER AND TOPIC SUFFICIENCY	5
COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS	5
BISIMULATIONS FOR KNOWING HOW LOGICS	4
INDEPENDENCE PROOFS IN NON-CLASSICAL SET THEORIES	4
QUESTIONS IN TWO-DIMENSIONAL LOGIC	4
SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGS	4
THE NONARITHMETICITY OF THE PREDICATE LOGIC OF STRICTLY PRIMITIVE RECURSIVE REALIZABILITY	4
THE SEMANTIC FOUNDATIONS OF PHILOSOPHICAL ANALYSIS	4
QUANTIFIED MODAL RELEVANT LOGICS	4
AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS	4
FREGE’S THEORY OF REAL NUMBERS: A CONSISTENT RENDERING	4
LEIBNIZ ON BODIES AND INFINITIES:RERUM NATURAAND MATHEMATICAL FICTIONS	3
Stit-LOGIC FOR IMAGINATION EPISODES WITH VOLUNTARY INPUT	3
FRACTIONAL-VALUED MODAL LOGIC	3
LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT	3
FIRST-ORDER RELEVANT REASONERS IN CLASSICAL WORLDS	3
GÖDEL’S THEOREM AND DIRECT SELF-REFERENCE	3
CONNEXIVE IMPLICATIONS IN SUBSTRUCTURAL LOGICS	2
GRZEGORCZYK POINTS AND FILTERS IN BOOLEAN CONTACT ALGEBRAS	2

WHAT MODEL COMPANIONSHIP CAN SAY ABOUT THE CONTINUUM PROBLEM	2
MEREOLOGICAL BIMODAL LOGICS	2
PRIORITY MERGE AND INTERSECTION MODALITIES	2
RAMSIFICATION AND SEMANTIC INDETERMINACY	2
FOR BETTER AND FOR WORSE. ABSTRACTIONISM, GOOD COMPANY, AND PLURALISM	2
SZEMERÉDI’S THEOREM: AN EXPLORATION OF IMPURITY, EXPLANATION, AND CONTENT	2
ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS	2
GÖDEL ON MANY-VALUED LOGIC	2
THREE MODEL-THEORETIC CONSTRUCTIONS FOR GENERALIZED EPSTEIN SEMANTICS	2
ON ZARDINI’S RULES FOR MULTIPLICATIVE QUANTIFICATION AS THE SOURCE OF CONTRA(DI)CTIONS	2
OPERANDS AND INSTANCES	2
THE LOGIC OF HYPERLOGIC. PART B: EXTENSIONS AND RESTRICTIONS	2
A CORRECTNESS PROOF FOR AL-BARAKĀT’S LOGICAL DIAGRAMS	2
IS CAUSAL REASONING HARDER THAN PROBABILISTIC REASONING?	2
A FIRST-ORDER FRAMEWORK FOR INQUISITIVE MODAL LOGIC	2
A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC	2
CARNAP’S PROBLEM FOR MODAL LOGIC	2