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

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

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