OOIR: Observatory of International Research

Papers

(The median citation count of Review of Symbolic 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 2020-04-01 to 2024-04-01.)

Article	Citations
DYNAMIC HYPERINTENSIONAL BELIEF REVISION	11
THE LOGIC OF THE EVIDENTIAL CONDITIONAL	11
ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS	9
PLANS AND PLANNING IN MATHEMATICAL PROOFS	9
THE POWER OF NAIVE TRUTH	8
CLASSICAL COUNTERPOSSIBLES	8
RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH	7
AGAINST CUMULATIVE TYPE THEORY	7
THE MODAL LOGIC OF STEPWISE REMOVAL	7
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
A BRIDGE BETWEEN Q-WORLDS	5
RIGOUR AND PROOF	5
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
BISIMULATIONS FOR KNOWING HOW LOGICS	4
INDEPENDENCE PROOFS IN NON-CLASSICAL SET THEORIES	4
FREGE’S THEORY OF REAL NUMBERS: A CONSISTENT RENDERING	4
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
, , 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
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
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
INTERPRETATION, LOGIC AND PHILOSOPHY: JEAN NICOD’S GEOMETRY IN THE SENSIBLE WORLD	1
A NOTE ON THE SEQUENT CALCULI	1
OPERANDS AND INSTANCES	1
NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE	1
RELEVANT CONSEQUENCE RELATIONS: AN INVITATION	1
GENERALIZED PARTIAL MEET AND KERNEL CONTRACTIONS	1
GAMES AND CARDINALITIES IN INQUISITIVE FIRST-ORDER LOGIC	1
DOING WITHOUT ACTION TYPES	1
PROOF SYSTEMS FOR EXACT ENTAILMENT	1
LINGUA CHARACTERICA AND CALCULUS RATIOCINATOR: THE LEIBNIZIAN BACKGROUND OF THE FREGE-SCHRÖDER POLEMIC	1
A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH	1
HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC	1
CONCILIATORY REASONING, SELF-DEFEAT, AND ABSTRACT ARGUMENTATION	1
TWO ARGUMENTS AGAINST THE GENERIC MULTIVERSE	1
PRIORITY MERGE AND INTERSECTION MODALITIES	1
UNPRINCIPLED	1

A NOTE ON CHOICE PRINCIPLES IN SECOND-ORDER LOGIC	1
TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS	1
FOR BETTER AND FOR WORSE. ABSTRACTIONISM, GOOD COMPANY, AND PLURALISM	1
ON THREE-VALUED PRESENTATIONS OF CLASSICAL LOGIC	1
NECESSARY AND SUFFICIENT CONDITIONS FOR DOMINATION RESULTS FOR PROPER SCORING RULES	1
TESTING DEFINITIONAL EQUIVALENCE OF THEORIES VIA AUTOMORPHISM GROUPS	1
THE LOGIC OF HYPERLOGIC. PART B: EXTENSIONS AND RESTRICTIONS	1
STEEL’S PROGRAMME: EVIDENTIAL FRAMEWORK, THE CORE AND ULTIMATE-L	1
COMPOSITIONALITY, COMPUTABILITY, AND COMPLEXITY	1
IMPROVING STRONG NEGATION	1
MEREOLOGICAL BIMODAL LOGICS	1
NEIGHBOURHOOD CANONICITY FOR EK, ECK, AND RELATIVES: A CONSTRUCTIVE PROOF	1
TRACTARIAN LOGICISM: OPERATIONS, NUMBERS, INDUCTION	1
CUT-FREE COMPLETENESS FOR MODULAR HYPERSEQUENT CALCULI FOR MODAL LOGICS K, T, AND D	1
BOLZANO’S MATHEMATICAL INFINITE	1
TRANSMISSION OF VERIFICATION	1
THREE MODEL-THEORETIC CONSTRUCTIONS FOR GENERALIZED EPSTEIN SEMANTICS	1
Stit-LOGIC FOR IMAGINATION EPISODES WITH VOLUNTARY INPUT	1
GROUPS OF WORLDVIEW TRANSFORMATIONS IMPLIED BY EINSTEIN’S SPECIAL PRINCIPLE OF RELATIVITY OVER ARBITRARY ORDERED FIELDS	1
EXPLORING THE LANDSCAPE OF RELATIONAL SYLLOGISTIC LOGICS	1
DEDUCTIVE CARDINALITY RESULTS AND NUISANCE-LIKE PRINCIPLES	1
THE LOGIC OF HYPERLOGIC. PART A: FOUNDATIONS	1