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-06-01 to 2025-06-01.)
ArticleCitations
RSL volume 14 issue 2 Cover and Back matter9
RSL volume 14 issue 3 Cover and Front matter7
RSL volume 15 issue 3 Cover and Back matter7
A FIRST-ORDER FRAMEWORK FOR INQUISITIVE MODAL LOGIC6
RSL volume 16 issue 3 Cover and Back matter5
VARIETIES OF CLASS-THEORETIC POTENTIALISM5
WHAT IS A RESTRICTIVE THEORY?4
WHAT STANDS BETWEEN GROUNDING RULES AND LOGICAL RULES IS THE EXCLUDED MIDDLE4
AN ALGEBRAIC PROOF OF COMPLETENESS FOR MONADIC FUZZY PREDICATE LOGIC $\mathbf {MMTL}\boldsymbol {\forall }$4
PLURAL ANCESTRAL LOGIC AS THE LOGIC OF ARITHMETIC4
RSL volume 15 issue 4 Cover and Front matter4
PROBABILISTIC ENTAILMENT ON FIRST ORDER LANGUAGES AND REASONING WITH INCONSISTENCIES4
THE GENEALOGY OF ‘’4
NECESSARY AND SUFFICIENT CONDITIONS FOR DOMINATION RESULTS FOR PROPER SCORING RULES4
RSL volume 17 issue 4 Cover and Back matter3
REFERENCE DIGRAPHS OF NON-SELF-REFERENTIAL PARADOXES3
RSL volume 17 issue 4 Cover and Front matter3
FIRST-ORDER FRIENDLINESS3
HUME’S PRINCIPLE, BAD COMPANY, AND THE AXIOM OF CHOICE3
FIRST-ORDER RELEVANT REASONERS IN CLASSICAL WORLDS3
THE GENERIC MULTIVERSE IS NOT GOING AWAY3
RSL volume 14 issue 4 Cover and Back matter3
AGAINST CUMULATIVE TYPE THEORY2
RSL volume 16 issue 2 Cover and Back matter2
TWO-SORTED FREGE ARITHMETIC IS NOT CONSERVATIVE2
DYNAMIC HYPERINTENSIONAL BELIEF REVISION—ERRATUM2
LEIBNIZ ON BODIES AND INFINITIES:RERUM NATURAAND MATHEMATICAL FICTIONS2
WHEN NO PRICE IS RIGHT2
SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES2
THE LOGIC OF HYPERLOGIC. PART A: FOUNDATIONS2
RAMSIFICATION AND SEMANTIC INDETERMINACY2
TOWARDS THE INEVITABILITY OF NON-CLASSICAL PROBABILITY2
IMPROVING STRONG NEGATION2
ANSELM’S ONTOLOGICAL ARGUMENT AND GRADES OF BEING2
PARACONSISTENT AND PARACOMPLETE ZERMELO–FRAENKEL SET THEORY2
INTERPRETATION, LOGIC AND PHILOSOPHY: JEAN NICOD’S GEOMETRY IN THE SENSIBLE WORLD2
STRONG COMPLETENESS OF A FIRST-ORDER TEMPORAL LOGIC FOR REAL TIME2
META-CLASSICAL NON-CLASSICAL LOGICS1
GRZEGORCZYK POINTS AND FILTERS IN BOOLEAN CONTACT ALGEBRAS1
THE ALGEBRAS OF LEWIS’S COUNTERFACTUALS: AXIOMATIZATIONS AND ALGEBRAIZABILITY1
GENERALIZED PARTIAL MEET AND KERNEL CONTRACTIONS1
TAMING THE ‘ELSEWHERE’: ON EXPRESSIVITY OF TOPOLOGICAL LANGUAGES1
RSL volume 15 issue 2 Cover and Back matter1
, , AND REINHARDT’S PROGRAM1
RIGOUR AND PROOF – CORRIGENDUM1
SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGS1
RSL volume 18 issue 1 Cover and Back matter1
LOGICS FROM ULTRAFILTERS1
SUBJECT-MATTER AND INTENSIONAL OPERATORS III: STATE-SENSITIVE SUBJECT-MATTER AND TOPIC SUFFICIENCY1
MEREOLOGICAL BIMODAL LOGICS1
IS CANTOR’S THEOREM A DIALETHEIA? VARIATIONS ON A PARACONSISTENT APPROACH TO CANTOR’S THEOREM1
CONSERVATION AS TRANSLATION1
UNPRINCIPLED1
Global supervenience in inquisitive modal logic1
‘A REMARKABLE ARTIFICE’: LAPLACE, POISSON AND MATHEMATICAL PURITY1
ARROW’S THEOREM, ULTRAFILTERS, AND REVERSE MATHEMATICS1
NATURAL KIND SEMANTICS FOR A CLASSICAL ESSENTIALIST THEORY OF KINDS1
A NATURAL DEDUCTION SYSTEM FOR ORTHOMODULAR LOGIC1
ONTOLOGICAL PURITY FOR FORMAL PROOFS1
A SIMPLIFIED PROOF OF THE EPSILON THEOREMS0
KNOWLEDGE, JUSTIFICATION, AND ADEQUATE REASONS—ERRATUM0
GÖDEL’S THEOREM AND DIRECT SELF-REFERENCE0
COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS0
RSL volume 16 issue 1 Cover and Front matter0
COMPLIANCE AND COMMAND III: CONDITIONAL IMPERATIVES0
STRONG HOMOMORPHISMS, CATEGORY THEORY, AND SEMANTIC PARADOX0
BEYOND LINGUISTIC INTERPRETATION IN THEORY COMPARISON0
CONCEPTUAL DISTANCE AND ALGEBRAS OF CONCEPTS0
RSL volume 17 issue 1 Cover and Back matter0
A GENUINELY UNTYPED EXPLANATION OF COMMON BELIEF AND KNOWLEDGE0
THE TEMPORAL CONTINUUM0
MODES OF CONVERGENCE TO THE TRUTH: STEPS TOWARD A BETTER EPISTEMOLOGY OF INDUCTION0
RSL volume 15 issue 1 Cover and Back matter0
CONDITIONAL LOGIC IS COMPLETE FOR CONVEXITY IN THE PLANE0
IS CAUSAL REASONING HARDER THAN PROBABILISTIC REASONING?0
RSL volume 14 issue 2 Cover and Front matter0
NORMALISATION FOR NEGATIVE FREE LOGICS WITHOUT AND WITH DEFINITE DESCRIPTIONS0
Stit-LOGIC FOR IMAGINATION EPISODES WITH VOLUNTARY INPUT0
SZEMERÉDI’S THEOREM: AN EXPLORATION OF IMPURITY, EXPLANATION, AND CONTENT0
RSL volume 15 issue 1 Cover and Front matter0
PREDICATIVISM AS A FORM OF POTENTIALISM0
NEIGHBOURHOOD CANONICITY FOR EK, ECK, AND RELATIVES: A CONSTRUCTIVE PROOF0
Modal Quantifiers, Potential Infinity, and Yablo sequences0
NON-CONTRACTIVE LOGICS, PARADOXES, AND MULTIPLICATIVE QUANTIFIERS0
IS THERE A COUNTABLE OMEGA-UNIVERSAL LOGIC?0
LEIBNIZ’S MEREOLOGY: A LOGICAL RECONSTRUCTION0
ALGEBRAIC SEMANTICS FOR RELATIVE TRUTH, AWARENESS, AND POSSIBILITY0
THE COPERNICAN MULTIVERSE OF SETS0
RSL volume 15 issue 4 Cover and Back matter0
RSL volume 15 issue 3 Cover and Front matter0
RSL volume 16 issue 4 Cover and Back matter0
AN ALGEBRAIC PROOF OF COMPLETENESS FOR MONADIC FUZZY PREDICATE LOGIC MMTL∀ – ERRATUM0
CONCILIATORY REASONING, SELF-DEFEAT, AND ABSTRACT ARGUMENTATION0
RSL volume 17 issue 1 Cover and Front matter0
ON THE STRUCTURE OF BOCHVAR ALGEBRAS0
A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH0
AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS0
AN ALGORITHMIC IMPOSSIBLE-WORLDS MODEL OF BELIEF AND KNOWLEDGE0
RSL volume 17 issue 2 Cover and Back matter0
CRAIG INTERPOLATION THEOREM FAILS IN BI-INTUITIONISTIC PREDICATE LOGIC0
SATISFACTION CLASSES WITH APPROXIMATE DISJUNCTIVE CORRECTNESS0
TABULARITY AND POST-COMPLETENESS IN TENSE LOGIC0
CANONICITY IN POWER AND MODAL LOGICS OF FINITE ACHRONAL WIDTH0
BI-CONNEXIVE LOGIC, BILATERALISM, AND NEGATION INCONSISTENCY0
THREE MODEL-THEORETIC CONSTRUCTIONS FOR GENERALIZED EPSTEIN SEMANTICS0
FRACTIONAL-VALUED MODAL LOGIC0
WHAT MODEL COMPANIONSHIP CAN SAY ABOUT THE CONTINUUM PROBLEM0
CUT-FREE SEQUENT CALCULI FOR THE PROVABILITY LOGIC D0
IMAGINATION, MEREOTOPOLOGY, AND TOPIC EXPANSION0
RSL volume 18 issue 1 Cover and Front matter0
RELEVANT CONSEQUENCE RELATIONS: AN INVITATION0
A CLASSICAL-MODAL INTERPRETATION OF SMOOTH INFINITESIMAL ANALYSIS0
RSL volume 14 issue 3 Cover and Back matter0
OPERANDS AND INSTANCES0
GENERAL NOTIONS OF CONSISTENCY0
THE LOGIC OF HYPERLOGIC. PART B: EXTENSIONS AND RESTRICTIONS0
RSL volume 16 issue 4 Cover and Front matter0
FINITARY UPPER LOGICISM0
COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND0
A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC0
TESTING DEFINITIONAL EQUIVALENCE OF THEORIES VIA AUTOMORPHISM GROUPS0
RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH0
FINITE AXIOMATIZABILITY OF TRANSITIVE MODAL LOGICS OF FINITE DEPTH AND WIDTH WITH RESPECT TO PROPER-SUCCESSOR-EQUIVALENCE0
RSL volume 17 issue 2 Cover and Front matter0
RSL volume 16 issue 3 Cover and Front matter0
RSL volume 17 issue 3 Cover and Front matter0
RSL volume 15 issue 2 Cover and Front matter0
A CORRECTNESS PROOF FOR AL-BARAKĀT’S LOGICAL DIAGRAMS0
RSL volume 16 issue 2 Cover and Front matter0
DECIDABLE FRAGMENTS OF THE QUANTIFIED ARGUMENT CALCULUS0
ANALYTICITY AND SYNTHETICITY IN TYPE THEORY REVISITED0
PROOF SYSTEMS FOR EXACT ENTAILMENT0
ON QUANTIFICATION AND EXTENSIONALITY0
LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT0
RSL volume 14 issue 4 Cover and Front matter0
CONNEXIVE IMPLICATIONS IN SUBSTRUCTURAL LOGICS0
ON THREE-VALUED PRESENTATIONS OF CLASSICAL LOGIC0
$\gamma $ -ADMISSIBILITY IN FIRST-ORDER RELEVANT LOGICS: PROOF USING NORMAL MODELS IN THE MARES–GOLDBLATT SETTING0
THE ZHOU ORDINAL OF LABELLED MARKOV PROCESSES OVER SEPARABLE SPACES0
STEEL’S PROGRAMME: EVIDENTIAL FRAMEWORK, THE CORE AND ULTIMATE-L0
DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC0
SET THEORY AND A MODEL OF THE MIND IN PSYCHOLOGY0
FROM REAL ANALYSIS TO THE SORITES PARADOX VIA REVERSE MATHEMATICS0
AXIOMS FOR TYPE-FREE SUBJECTIVE PROBABILITY0
RSL volume 17 issue 3 Cover and Back matter0
HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC0
ON ZARDINI’S RULES FOR MULTIPLICATIVE QUANTIFICATION AS THE SOURCE OF CONTRA(DI)CTIONS0
NON-FACTIVE KOLMOGOROV CONDITIONALIZATION0
TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS0
RSL volume 16 issue 1 Cover and Back matter0
ON SHAVRUKOV’S NON-ISOMORPHISM THEOREM FOR DIAGONALIZABLE ALGEBRAS0
A SIMPLE SEQUENT SYSTEM FOR MINIMALLY INCONSISTENT LP0
0.046834230422974