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

Article	Citations
THE LOGIC OF THE EVIDENTIAL CONDITIONAL	11
DYNAMIC HYPERINTENSIONAL BELIEF REVISION	11
PLANS AND PLANNING IN MATHEMATICAL PROOFS	9
ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS	9
THE POWER OF NAIVE TRUTH	8
CLASSICAL COUNTERPOSSIBLES	8
AGAINST CUMULATIVE TYPE THEORY	7
THE MODAL LOGIC OF STEPWISE REMOVAL	7
RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH	7
A BRIDGE BETWEEN Q-WORLDS	5
RIGOUR AND PROOF	5
SEMANTICS FOR PURE THEORIES OF CONNEXIVE IMPLICATION	5
EPISTEMIC MULTILATERAL LOGIC	5
UNIVERSISM AND EXTENSIONS OF V	5
VOLUNTARY IMAGINATION: A FINE-GRAINED ANALYSIS	5
THE LATTICE OF SUPER-BELNAP LOGICS	5
BISIMULATIONS FOR KNOWING HOW LOGICS	4
INDEPENDENCE PROOFS IN NON-CLASSICAL SET THEORIES	4
FREGE’S THEORY OF REAL NUMBERS: A CONSISTENT RENDERING	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
COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS	4
QUANTIFIED MODAL RELEVANT LOGICS	4
QUESTIONS IN TWO-DIMENSIONAL LOGIC	4
, , AND REINHARDT’S PROGRAM	3

COMPLEXITY OF THE INFINITARY LAMBEK CALCULUS WITH KLEENE STAR	3
FRACTIONAL-VALUED MODAL LOGIC	3
PREDICATIVISM AS A FORM OF POTENTIALISM	3
AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS	3
DEPENDENT CHOICE, PROPERNESS, AND GENERIC ABSOLUTENESS	3
KOLMOGOROV CONDITIONALIZERS CAN BE DUTCH BOOKED (IF AND ONLY IF THEY ARE EVIDENTIALLY UNCERTAIN)	3
NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC	3
KNOWLEDGE, JUSTIFICATION, AND ADEQUATE REASONS	3
LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT	3
TWO LEVEL CREDIBILITY-LIMITED REVISIONS	3
LEIBNIZ ON BODIES AND INFINITIES: RERUM NATURA AND MATHEMATICAL FICTIONS	3
PROBABILISTIC STABILITY, AGM REVISION OPERATORS AND MAXIMUM ENTROPY	3
A NEW ARGUMENT FOR KOLOMOGOROV CONDITIONALIZATION	3
IS CAUSAL REASONING HARDER THAN PROBABILISTIC REASONING?	3
GÖDEL’S THEOREM AND DIRECT SELF-REFERENCE	2
AN EXPRESSIVIST ANALYSIS OF THE INDICATIVE CONDITIONAL WITH A RESTRICTOR SEMANTICS	2
CARNAP’S PROBLEM FOR MODAL LOGIC	2
FIRST-ORDER RELEVANT REASONERS IN CLASSICAL WORLDS	2
A CORRECTNESS PROOF FOR AL-BARAKĀT’S LOGICAL DIAGRAMS	2
WHAT MODEL COMPANIONSHIP CAN SAY ABOUT THE CONTINUUM PROBLEM	2
CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI	2
A FIRST-ORDER FRAMEWORK FOR INQUISITIVE MODAL LOGIC	2
SUBJECT-MATTER AND INTENSIONAL OPERATORS III: STATE-SENSITIVE SUBJECT-MATTER AND TOPIC SUFFICIENCY	2
RAMSIFICATION AND SEMANTIC INDETERMINACY	2
SUPPORT FOR GEOMETRIC POOLING	2
GRZEGORCZYK POINTS AND FILTERS IN BOOLEAN CONTACT ALGEBRAS	2
WITTGENSTEIN’S ELIMINATION OF IDENTITY FOR QUANTIFIER-FREE LOGIC	2
GÖDEL ON MANY-VALUED LOGIC	2
A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC	2
ON ZARDINI’S RULES FOR MULTIPLICATIVE QUANTIFICATION AS THE SOURCE OF CONTRA(DI)CTIONS	2
CONNEXIVE IMPLICATIONS IN SUBSTRUCTURAL LOGICS	2
ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS	2
SZEMERÉDI’S THEOREM: AN EXPLORATION OF IMPURITY, EXPLANATION, AND CONTENT	2
THE SEMANTIC FOUNDATIONS OF PHILOSOPHICAL ANALYSIS	2