Review of Symbolic Logic

Article	Citations
IMPROVING STRONG NEGATION	11
RSL volume 14 issue 2 Cover and Back matter	7
RSL volume 14 issue 3 Cover and Front matter	7
RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH	6
RSL volume 15 issue 3 Cover and Back matter	5
A FIRST-ORDER FRAMEWORK FOR INQUISITIVE MODAL LOGIC	5
RSL volume 15 issue 1 Cover and Front matter	5
RSL volume 15 issue 3 Cover and Front matter	5
RSL volume 16 issue 4 Cover and Back matter	4
AXIOMS FOR TYPE-FREE SUBJECTIVE PROBABILITY	4
MEREOLOGICAL BIMODAL LOGICS	4
AGAINST CUMULATIVE TYPE THEORY	4
TAMING THE ‘ELSEWHERE’: ON EXPRESSIVITY OF TOPOLOGICAL LANGUAGES	4
INTERPRETATION, LOGIC AND PHILOSOPHY: JEAN NICOD’S GEOMETRY IN THE SENSIBLE WORLD	4
VARIETIES OF CLASS-THEORETIC POTENTIALISM	4
GÖDEL’S THEOREM AND DIRECT SELF-REFERENCE	3
CONCILIATORY REASONING, SELF-DEFEAT, AND ABSTRACT ARGUMENTATION	3
PARACONSISTENT AND PARACOMPLETE ZERMELO–FRAENKEL SET THEORY	3
QUESTIONS IN TWO-DIMENSIONAL LOGIC	3
FINITARY UPPER LOGICISM	3
FINITE AXIOMATIZABILITY OF TRANSITIVE MODAL LOGICS OF FINITE DEPTH AND WIDTH WITH RESPECT TO PROPER-SUCCESSOR-EQUIVALENCE	3
RSL volume 15 issue 2 Cover and Back matter	2
RSL volume 16 issue 2 Cover and Back matter	2
TWO-SORTED FREGE ARITHMETIC IS NOT CONSERVATIVE	2
WHAT IS A RESTRICTIVE THEORY?	2

WHAT STANDS BETWEEN GROUNDING RULES AND LOGICAL RULES IS THE EXCLUDED MIDDLE	2
TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS	2
LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT	2
STRONG HOMOMORPHISMS, CATEGORY THEORY, AND SEMANTIC PARADOX	2
RSL volume 15 issue 2 Cover and Front matter	2
RSL volume 16 issue 3 Cover and Back matter	2
RSL volume 17 issue 1 Cover and Front matter	2
PROBABILISTIC ENTAILMENT ON FIRST ORDER LANGUAGES AND REASONING WITH INCONSISTENCIES	2
COMPLIANCE AND COMMAND III: CONDITIONAL IMPERATIVES	2
Modal Quantifiers, Potential Infinity, and Yablo sequences	2
THE LOGIC OF HYPERLOGIC. PART A: FOUNDATIONS	2
RSL volume 16 issue 1 Cover and Front matter	2
AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS	2
KNOWLEDGE, JUSTIFICATION, AND ADEQUATE REASONS—ERRATUM	1
THE GENEALOGY OF ‘’	1
HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC	1
PLURAL ANCESTRAL LOGIC AS THE LOGIC OF ARITHMETIC	1
THE LOGIC OF THE EVIDENTIAL CONDITIONAL	1
RSL volume 15 issue 4 Cover and Front matter	1
NECESSARY AND SUFFICIENT CONDITIONS FOR DOMINATION RESULTS FOR PROPER SCORING RULES	1
THE ZHOU ORDINAL OF LABELLED MARKOV PROCESSES OVER SEPARABLE SPACES	1
CONCEPTUAL DISTANCE AND ALGEBRAS OF CONCEPTS	1
ON THE STRUCTURE OF BOCHVAR ALGEBRAS	1
RSL volume 17 issue 3 Cover and Front matter	1
THE LATTICE OF SUPER-BELNAP LOGICS	1
SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES	1
Leibniz’s Mereology: A Logical Reconstruction	1
A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH	1
CRAIG INTERPOLATION THEOREM FAILS IN BI-INTUITIONISTIC PREDICATE LOGIC	1
PROOF SYSTEMS FOR EXACT ENTAILMENT	1
RSL volume 14 issue 4 Cover and Front matter	1
ANSELM’S ONTOLOGICAL ARGUMENT AND GRADES OF BEING	1
A SIMPLE SEQUENT SYSTEM FOR MINIMALLY INCONSISTENT LP	1
IS CAUSAL REASONING HARDER THAN PROBABILISTIC REASONING?	1
GENERAL NOTIONS OF CONSISTENCY	1
CONDITIONAL LOGIC IS COMPLETE FOR CONVEXITY IN THE PLANE	1
Stit-LOGIC FOR IMAGINATION EPISODES WITH VOLUNTARY INPUT	1
WHAT MODEL COMPANIONSHIP CAN SAY ABOUT THE CONTINUUM PROBLEM	1
STEEL’S PROGRAMME: EVIDENTIAL FRAMEWORK, THE CORE AND ULTIMATE-L	1
SZEMERÉDI’S THEOREM: AN EXPLORATION OF IMPURITY, EXPLANATION, AND CONTENT	1
FRACTIONAL-VALUED MODAL LOGIC	0
THE COPERNICAN MULTIVERSE OF SETS	0
RSL volume 16 issue 2 Cover and Front matter	0
TOWARDS THE INEVITABILITY OF NON-CLASSICAL PROBABILITY	0
LOGICS FROM ULTRAFILTERS	0
RSL volume 17 issue 3 Cover and Back matter	0
COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND	0
GROUPS OF WORLDVIEW TRANSFORMATIONS IMPLIED BY EINSTEIN’S SPECIAL PRINCIPLE OF RELATIVITY OVER ARBITRARY ORDERED FIELDS	0
CONSERVATION AS TRANSLATION	0
INDEPENDENCE PROOFS IN NON-CLASSICAL SET THEORIES	0

ONTOLOGICAL PURITY FOR FORMAL PROOFS	0
NON-FACTIVE KOLMOGOROV CONDITIONALIZATION	0
ON QUANTIFICATION AND EXTENSIONALITY	0
DEDUCTIVE CARDINALITY RESULTS AND NUISANCE-LIKE PRINCIPLES	0
, , AND REINHARDT’S PROGRAM	0
BISIMULATIONS FOR KNOWING HOW LOGICS	0
RSL volume 17 issue 4 Cover and Back matter	0
THE LOGIC OF HYPERLOGIC. PART B: EXTENSIONS AND RESTRICTIONS	0
IS CANTOR’S THEOREM A DIALETHEIA? VARIATIONS ON A PARACONSISTENT APPROACH TO CANTOR’S THEOREM	0
DYNAMIC HYPERINTENSIONAL BELIEF REVISION—ERRATUM	0
REFERENCE DIGRAPHS OF NON-SELF-REFERENTIAL PARADOXES	0
AN ALGEBRAIC PROOF OF COMPLETENESS FOR MONADIC FUZZY PREDICATE LOGIC	0
NON-CONTRACTIVE LOGICS, PARADOXES, AND MULTIPLICATIVE QUANTIFIERS	0
OPERANDS AND INSTANCES	0
PREDICATIVISM AS A FORM OF POTENTIALISM	0
ANALYTICITY AND SYNTHETICITY IN TYPE THEORY REVISITED	0
ARROW’S THEOREM, ULTRAFILTERS, AND REVERSE MATHEMATICS	0
BEYOND LINGUISTIC INTERPRETATION IN THEORY COMPARISON	0
RSL volume 14 issue 1 Cover and Front matter	0
CARNAP’S PROBLEM FOR MODAL LOGIC	0
MODES OF CONVERGENCE TO THE TRUTH: STEPS TOWARD A BETTER EPISTEMOLOGY OF INDUCTION	0
CANONICITY IN POWER AND MODAL LOGICS OF FINITE ACHRONAL WIDTH	0
NEIGHBOURHOOD CANONICITY FOR EK, ECK, AND RELATIVES: A CONSTRUCTIVE PROOF	0
STRONG COMPLETENESS OF A FIRST-ORDER TEMPORAL LOGIC FOR REAL TIME	0
SET THEORY AND A MODEL OF THE MIND IN PSYCHOLOGY	0
RSL volume 15 issue 4 Cover and Back matter	0
ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS	0
RSL volume 16 issue 4 Cover and Front matter	0
THE NONARITHMETICITY OF THE PREDICATE LOGIC OF STRICTLY PRIMITIVE RECURSIVE REALIZABILITY	0
LEIBNIZ ON BODIES AND INFINITIES:RERUM NATURAAND MATHEMATICAL FICTIONS	0
ON SHAVRUKOV’S NON-ISOMORPHISM THEOREM FOR DIAGONALIZABLE ALGEBRAS	0
A NATURAL DEDUCTION SYSTEM FOR ORTHOMODULAR LOGIC	0
SATISFACTION CLASSES WITH APPROXIMATE DISJUNCTIVE CORRECTNESS	0
A CORRECTNESS PROOF FOR AL-BARAKĀT’S LOGICAL DIAGRAMS	0
TABULARITY AND POST-COMPLETENESS IN TENSE LOGIC	0
COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS	0
THE TEMPORAL CONTINUUM	0
CONNEXIVE IMPLICATIONS IN SUBSTRUCTURAL LOGICS	0
WHEN NO PRICE IS RIGHT	0
NORMALISATION FOR NEGATIVE FREE LOGICS WITHOUT AND WITH DEFINITE DESCRIPTIONS	0
FIRST-ORDER FRIENDLINESS	0
‘A REMARKABLE ARTIFICE’: LAPLACE, POISSON AND MATHEMATICAL PURITY	0
The algebras of Lewis’s counterfactuals: axiomatizations and algebraizability	0
A NOTE ON THE LEARNING-THEORETIC CHARACTERIZATIONS OF RANDOMNESS AND CONVERGENCE	0
RSL volume 15 issue 1 Cover and Back matter	0
SUBJECT-MATTER AND INTENSIONAL OPERATORS III: STATE-SENSITIVE SUBJECT-MATTER AND TOPIC SUFFICIENCY	0
RSL volume 14 issue 4 Cover and Back matter	0
FOR BETTER AND FOR WORSE. ABSTRACTIONISM, GOOD COMPANY, AND PLURALISM	0
$\gamma $ -ADMISSIBILITY IN FIRST-ORDER RELEVANT LOGICS: PROOF USING NORMAL MODELS IN THE MARES–GOLDBLATT SETTING	0
RSL volume 14 issue 3 Cover and Back matter	0
ON ZARDINI’S RULES FOR MULTIPLICATIVE QUANTIFICATION AS THE SOURCE OF CONTRA(DI)CTIONS	0
AN ALGEBRAIC PROOF OF COMPLETENESS FOR MONADIC FUZZY PREDICATE LOGIC MMTL∀ – ERRATUM	0
UNPRINCIPLED	0
TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS	0
META-CLASSICAL NON-CLASSICAL LOGICS	0
RSL volume 14 issue 2 Cover and Front matter	0
RSL volume 16 issue 3 Cover and Front matter	0
FIRST-ORDER RELEVANT REASONERS IN CLASSICAL WORLDS	0
AN ALGORITHMIC IMPOSSIBLE-WORLDS MODEL OF BELIEF AND KNOWLEDGE	0
QUANTIFIED MODAL RELEVANT LOGICS	0
A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC	0
GRZEGORCZYK POINTS AND FILTERS IN BOOLEAN CONTACT ALGEBRAS	0
DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC	0
RSL volume 17 issue 2 Cover and Front matter	0
RAMSIFICATION AND SEMANTIC INDETERMINACY	0
RSL volume 17 issue 1 Cover and Back matter	0
GAMES AND CARDINALITIES IN INQUISITIVE FIRST-ORDER LOGIC	0
GENERALIZED PARTIAL MEET AND KERNEL CONTRACTIONS	0
ALGEBRAIC SEMANTICS FOR RELATIVE TRUTH, AWARENESS, AND POSSIBILITY	0
SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGS	0
DECIDABLE FRAGMENTS OF THE QUANTIFIED ARGUMENT CALCULUS	0
THREE MODEL-THEORETIC CONSTRUCTIONS FOR GENERALIZED EPSTEIN SEMANTICS	0
RIGOUR AND PROOF – CORRIGENDUM	0
THE GENERIC MULTIVERSE IS NOT GOING AWAY	0
A SIMPLIFIED PROOF OF THE EPSILON THEOREMS	0
ON THREE-VALUED PRESENTATIONS OF CLASSICAL LOGIC	0
HUME’S PRINCIPLE, BAD COMPANY, AND THE AXIOM OF CHOICE	0
RSL volume 14 issue 1 Cover and Back matter	0
RSL volume 17 issue 4 Cover and Front matter	0
NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE	0

RELEVANT CONSEQUENCE RELATIONS: AN INVITATION	0
A GENUINELY UNTYPED EXPLANATION OF COMMON BELIEF AND KNOWLEDGE	0
RSL volume 17 issue 2 Cover and Back matter	0
Cut-free sequent calculi for the provability logic D	0
TESTING DEFINITIONAL EQUIVALENCE OF THEORIES VIA AUTOMORPHISM GROUPS	0
NATURAL KIND SEMANTICS FOR A CLASSICAL ESSENTIALIST THEORY OF KINDS	0
RSL volume 16 issue 1 Cover and Back matter	0