Review of Symbolic Logic

Papers
(The median citation count of Review of Symbolic Logic is 0. 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 2021-04-01 to 2025-04-01.)
ArticleCitations
IMPROVING STRONG NEGATION9
RSL volume 15 issue 3 Cover and Back matter7
RSL volume 14 issue 2 Cover and Back matter7
RSL volume 14 issue 3 Cover and Front matter5
RSL volume 15 issue 1 Cover and Front matter5
RSL volume 15 issue 3 Cover and Front matter5
RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH5
RSL volume 16 issue 4 Cover and Back matter4
A FIRST-ORDER FRAMEWORK FOR INQUISITIVE MODAL LOGIC4
INTERPRETATION, LOGIC AND PHILOSOPHY: JEAN NICOD’S GEOMETRY IN THE SENSIBLE WORLD4
AXIOMS FOR TYPE-FREE SUBJECTIVE PROBABILITY4
AGAINST CUMULATIVE TYPE THEORY4
TAMING THE ‘ELSEWHERE’: ON EXPRESSIVITY OF TOPOLOGICAL LANGUAGES3
GÖDEL’S THEOREM AND DIRECT SELF-REFERENCE3
WHAT STANDS BETWEEN GROUNDING RULES AND LOGICAL RULES IS THE EXCLUDED MIDDLE3
FINITARY UPPER LOGICISM3
PARACONSISTENT AND PARACOMPLETE ZERMELO–FRAENKEL SET THEORY3
MEREOLOGICAL BIMODAL LOGICS3
FINITE AXIOMATIZABILITY OF TRANSITIVE MODAL LOGICS OF FINITE DEPTH AND WIDTH WITH RESPECT TO PROPER-SUCCESSOR-EQUIVALENCE3
VARIETIES OF CLASS-THEORETIC POTENTIALISM3
WHAT IS A RESTRICTIVE THEORY?2
RSL volume 16 issue 3 Cover and Back matter2
RSL volume 16 issue 1 Cover and Front matter2
QUESTIONS IN TWO-DIMENSIONAL LOGIC2
LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT2
RSL volume 15 issue 2 Cover and Back matter2
HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC2
STRONG HOMOMORPHISMS, CATEGORY THEORY, AND SEMANTIC PARADOX2
CONCILIATORY REASONING, SELF-DEFEAT, AND ABSTRACT ARGUMENTATION2
RSL volume 15 issue 2 Cover and Front matter2
RSL volume 16 issue 2 Cover and Back matter2
TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS2
PROBABILISTIC ENTAILMENT ON FIRST ORDER LANGUAGES AND REASONING WITH INCONSISTENCIES2
THE LOGIC OF HYPERLOGIC. PART A: FOUNDATIONS2
RSL volume 17 issue 1 Cover and Front matter2
AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS1
THE LATTICE OF SUPER-BELNAP LOGICS1
KNOWLEDGE, JUSTIFICATION, AND ADEQUATE REASONS—ERRATUM1
SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES1
ANSELM’S ONTOLOGICAL ARGUMENT AND GRADES OF BEING1
PROOF SYSTEMS FOR EXACT ENTAILMENT1
LOGICS FROM ULTRAFILTERS1
Leibniz’s Mereology: A Logical Reconstruction1
THE GENEALOGY OF ‘’1
IS CAUSAL REASONING HARDER THAN PROBABILISTIC REASONING?1
ON THE STRUCTURE OF BOCHVAR ALGEBRAS1
COMPLIANCE AND COMMAND III: CONDITIONAL IMPERATIVES1
A SIMPLE SEQUENT SYSTEM FOR MINIMALLY INCONSISTENT LP1
RSL volume 17 issue 3 Cover and Front matter1
QUANTIFIED MODAL RELEVANT LOGICS1
DEDUCTIVE CARDINALITY RESULTS AND NUISANCE-LIKE PRINCIPLES1
CONCEPTUAL DISTANCE AND ALGEBRAS OF CONCEPTS1
TWO-SORTED FREGE ARITHMETIC IS NOT CONSERVATIVE1
PLURAL ANCESTRAL LOGIC AS THE LOGIC OF ARITHMETIC1
Modal Quantifiers, Potential Infinity, and Yablo sequences1
GENERAL NOTIONS OF CONSISTENCY1
RSL volume 14 issue 4 Cover and Front matter1
THE ZHOU ORDINAL OF LABELLED MARKOV PROCESSES OVER SEPARABLE SPACES1
THE NONARITHMETICITY OF THE PREDICATE LOGIC OF STRICTLY PRIMITIVE RECURSIVE REALIZABILITY1
GAMES AND CARDINALITIES IN INQUISITIVE FIRST-ORDER LOGIC1
NEIGHBOURHOOD CANONICITY FOR EK, ECK, AND RELATIVES: A CONSTRUCTIVE PROOF0
GRZEGORCZYK POINTS AND FILTERS IN BOOLEAN CONTACT ALGEBRAS0
RSL volume 16 issue 3 Cover and Front matter0
RSL volume 14 issue 4 Cover and Back matter0
NATURAL KIND SEMANTICS FOR A CLASSICAL ESSENTIALIST THEORY OF KINDS0
RSL volume 14 issue 3 Cover and Back matter0
CONSERVATION AS TRANSLATION0
CANONICITY IN POWER AND MODAL LOGICS OF FINITE ACHRONAL WIDTH0
NON-FACTIVE KOLMOGOROV CONDITIONALIZATION0
AN ALGORITHMIC IMPOSSIBLE-WORLDS MODEL OF BELIEF AND KNOWLEDGE0
A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC0
NORMALISATION FOR NEGATIVE FREE LOGICS WITHOUT AND WITH DEFINITE DESCRIPTIONS0
RSL volume 15 issue 4 Cover and Back matter0
CONDITIONAL LOGIC IS COMPLETE FOR CONVEXITY IN THE PLANE0
ON ZARDINI’S RULES FOR MULTIPLICATIVE QUANTIFICATION AS THE SOURCE OF CONTRA(DI)CTIONS0
ON SHAVRUKOV’S NON-ISOMORPHISM THEOREM FOR DIAGONALIZABLE ALGEBRAS0
RSL volume 15 issue 4 Cover and Front matter0
$\gamma $ -ADMISSIBILITY IN FIRST-ORDER RELEVANT LOGICS: PROOF USING NORMAL MODELS IN THE MARES–GOLDBLATT SETTING0
, , AND REINHARDT’S PROGRAM0
IS THERE A COUNTABLE OMEGA-UNIVERSAL LOGIC?0
A CORRECTNESS PROOF FOR AL-BARAKĀT’S LOGICAL DIAGRAMS0
RSL volume 17 issue 1 Cover and Back matter0
FIRST-ORDER RELEVANT REASONERS IN CLASSICAL WORLDS0
RIGOUR AND PROOF – CORRIGENDUM0
REFERENCE DIGRAPHS OF NON-SELF-REFERENTIAL PARADOXES0
THE LOGIC OF HYPERLOGIC. PART B: EXTENSIONS AND RESTRICTIONS0
NON-CONTRACTIVE LOGICS, PARADOXES, AND MULTIPLICATIVE QUANTIFIERS0
FIRST-ORDER FRIENDLINESS0
AN ALGEBRAIC PROOF OF COMPLETENESS FOR MONADIC FUZZY PREDICATE LOGIC0
A GENUINELY UNTYPED EXPLANATION OF COMMON BELIEF AND KNOWLEDGE0
BI-CONNEXIVE LOGIC, BILATERALISM, AND NEGATION INCONSISTENCY0
Global supervenience in inquisitive modal logic0
RSL volume 16 issue 1 Cover and Back matter0
RSL volume 14 issue 2 Cover and Front matter0
RSL volume 17 issue 2 Cover and Back matter0
ARROW’S THEOREM, ULTRAFILTERS, AND REVERSE MATHEMATICS0
RSL volume 17 issue 3 Cover and Back matter0
RAMSIFICATION AND SEMANTIC INDETERMINACY0
UNPRINCIPLED0
TOWARDS THE INEVITABILITY OF NON-CLASSICAL PROBABILITY0
CONNEXIVE IMPLICATIONS IN SUBSTRUCTURAL LOGICS0
A NATURAL DEDUCTION SYSTEM FOR ORTHOMODULAR LOGIC0
THREE MODEL-THEORETIC CONSTRUCTIONS FOR GENERALIZED EPSTEIN SEMANTICS0
WHEN NO PRICE IS RIGHT0
IS CANTOR’S THEOREM A DIALETHEIA? VARIATIONS ON A PARACONSISTENT APPROACH TO CANTOR’S THEOREM0
RSL volume 16 issue 2 Cover and Front matter0
The algebras of Lewis’s counterfactuals: axiomatizations and algebraizability0
RSL volume 17 issue 2 Cover and Front matter0
WHAT MODEL COMPANIONSHIP CAN SAY ABOUT THE CONTINUUM PROBLEM0
ALGEBRAIC SEMANTICS FOR RELATIVE TRUTH, AWARENESS, AND POSSIBILITY0
THE COPERNICAN MULTIVERSE OF SETS0
HUME’S PRINCIPLE, BAD COMPANY, AND THE AXIOM OF CHOICE0
NECESSARY AND SUFFICIENT CONDITIONS FOR DOMINATION RESULTS FOR PROPER SCORING RULES0
ON QUANTIFICATION AND EXTENSIONALITY0
Stit-LOGIC FOR IMAGINATION EPISODES WITH VOLUNTARY INPUT0
ANALYTICITY AND SYNTHETICITY IN TYPE THEORY REVISITED0
SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGS0
DECIDABLE FRAGMENTS OF THE QUANTIFIED ARGUMENT CALCULUS0
META-CLASSICAL NON-CLASSICAL LOGICS0
THE GENERIC MULTIVERSE IS NOT GOING AWAY0
‘A REMARKABLE ARTIFICE’: LAPLACE, POISSON AND MATHEMATICAL PURITY0
LEIBNIZ ON BODIES AND INFINITIES:RERUM NATURAAND MATHEMATICAL FICTIONS0
OPERANDS AND INSTANCES0
RSL volume 15 issue 1 Cover and Back matter0
SUBJECT-MATTER AND INTENSIONAL OPERATORS III: STATE-SENSITIVE SUBJECT-MATTER AND TOPIC SUFFICIENCY0
MODES OF CONVERGENCE TO THE TRUTH: STEPS TOWARD A BETTER EPISTEMOLOGY OF INDUCTION0
A SIMPLIFIED PROOF OF THE EPSILON THEOREMS0
FROM REAL ANALYSIS TO THE SORITES PARADOX VIA REVERSE MATHEMATICS0
TESTING DEFINITIONAL EQUIVALENCE OF THEORIES VIA AUTOMORPHISM GROUPS0
ON THREE-VALUED PRESENTATIONS OF CLASSICAL LOGIC0
PREDICATIVISM AS A FORM OF POTENTIALISM0
COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND0
RSL volume 16 issue 4 Cover and Front matter0
TABULARITY AND POST-COMPLETENESS IN TENSE LOGIC0
STRONG COMPLETENESS OF A FIRST-ORDER TEMPORAL LOGIC FOR REAL TIME0
RELEVANT CONSEQUENCE RELATIONS: AN INVITATION0
FRACTIONAL-VALUED MODAL LOGIC0
DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC0
A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH0
GENERALIZED PARTIAL MEET AND KERNEL CONTRACTIONS0
ONTOLOGICAL PURITY FOR FORMAL PROOFS0
CRAIG INTERPOLATION THEOREM FAILS IN BI-INTUITIONISTIC PREDICATE LOGIC0
AN ALGEBRAIC PROOF OF COMPLETENESS FOR MONADIC FUZZY PREDICATE LOGIC MMTL∀ – ERRATUM0
SATISFACTION CLASSES WITH APPROXIMATE DISJUNCTIVE CORRECTNESS0
SZEMERÉDI’S THEOREM: AN EXPLORATION OF IMPURITY, EXPLANATION, AND CONTENT0
DYNAMIC HYPERINTENSIONAL BELIEF REVISION—ERRATUM0
THE TEMPORAL CONTINUUM0
STEEL’S PROGRAMME: EVIDENTIAL FRAMEWORK, THE CORE AND ULTIMATE-L0
COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS0
RSL volume 17 issue 4 Cover and Back matter0
BEYOND LINGUISTIC INTERPRETATION IN THEORY COMPARISON0
RSL volume 17 issue 4 Cover and Front matter0
SET THEORY AND A MODEL OF THE MIND IN PSYCHOLOGY0
Cut-free sequent calculi for the provability logic D0
TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS0
0.22719216346741