Review of Symbolic Logic

Article	Citations
THE LOGIC OF THE EVIDENTIAL CONDITIONAL	11
RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH	7
AGAINST CUMULATIVE TYPE THEORY	7
PREDICATIVISM AS A FORM OF POTENTIALISM	6
, , AND REINHARDT’S PROGRAM	5
THE LATTICE OF SUPER-BELNAP LOGICS	5
SUBJECT-MATTER AND INTENSIONAL OPERATORS III: STATE-SENSITIVE SUBJECT-MATTER AND TOPIC SUFFICIENCY	5
COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS	5
BISIMULATIONS FOR KNOWING HOW LOGICS	4
INDEPENDENCE PROOFS IN NON-CLASSICAL SET THEORIES	4
QUESTIONS IN TWO-DIMENSIONAL LOGIC	4
SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGS	4
THE NONARITHMETICITY OF THE PREDICATE LOGIC OF STRICTLY PRIMITIVE RECURSIVE REALIZABILITY	4
THE SEMANTIC FOUNDATIONS OF PHILOSOPHICAL ANALYSIS	4
QUANTIFIED MODAL RELEVANT LOGICS	4
AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS	4
FREGE’S THEORY OF REAL NUMBERS: A CONSISTENT RENDERING	4
LEIBNIZ ON BODIES AND INFINITIES:RERUM NATURAAND MATHEMATICAL FICTIONS	3
Stit-LOGIC FOR IMAGINATION EPISODES WITH VOLUNTARY INPUT	3
FRACTIONAL-VALUED MODAL LOGIC	3
LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT	3
FIRST-ORDER RELEVANT REASONERS IN CLASSICAL WORLDS	3
GÖDEL’S THEOREM AND DIRECT SELF-REFERENCE	3
WHAT MODEL COMPANIONSHIP CAN SAY ABOUT THE CONTINUUM PROBLEM	2
MEREOLOGICAL BIMODAL LOGICS	2

PRIORITY MERGE AND INTERSECTION MODALITIES	2
RAMSIFICATION AND SEMANTIC INDETERMINACY	2
FOR BETTER AND FOR WORSE. ABSTRACTIONISM, GOOD COMPANY, AND PLURALISM	2
SZEMERÉDI’S THEOREM: AN EXPLORATION OF IMPURITY, EXPLANATION, AND CONTENT	2
ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS	2
GÖDEL ON MANY-VALUED LOGIC	2
THREE MODEL-THEORETIC CONSTRUCTIONS FOR GENERALIZED EPSTEIN SEMANTICS	2
ON ZARDINI’S RULES FOR MULTIPLICATIVE QUANTIFICATION AS THE SOURCE OF CONTRA(DI)CTIONS	2
OPERANDS AND INSTANCES	2
THE LOGIC OF HYPERLOGIC. PART B: EXTENSIONS AND RESTRICTIONS	2
A CORRECTNESS PROOF FOR AL-BARAKĀT’S LOGICAL DIAGRAMS	2
IS CAUSAL REASONING HARDER THAN PROBABILISTIC REASONING?	2
A FIRST-ORDER FRAMEWORK FOR INQUISITIVE MODAL LOGIC	2
A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC	2
CARNAP’S PROBLEM FOR MODAL LOGIC	2
CONNEXIVE IMPLICATIONS IN SUBSTRUCTURAL LOGICS	2
GRZEGORCZYK POINTS AND FILTERS IN BOOLEAN CONTACT ALGEBRAS	2
NEIGHBOURHOOD CANONICITY FOR EK, ECK, AND RELATIVES: A CONSTRUCTIVE PROOF	1
NECESSARY AND SUFFICIENT CONDITIONS FOR DOMINATION RESULTS FOR PROPER SCORING RULES	1
PROOF SYSTEMS FOR EXACT ENTAILMENT	1
A SIMPLE SEQUENT SYSTEM FOR MINIMALLY INCONSISTENT LP	1
THE LOGIC OF HYPERLOGIC. PART A: FOUNDATIONS	1
ON THE STRUCTURE OF BOCHVAR ALGEBRAS	1
IMPROVING STRONG NEGATION	1
ON THREE-VALUED PRESENTATIONS OF CLASSICAL LOGIC	1
TESTING DEFINITIONAL EQUIVALENCE OF THEORIES VIA AUTOMORPHISM GROUPS	1
ALGEBRAIC SEMANTICS FOR RELATIVE TRUTH, AWARENESS, AND POSSIBILITY	1
NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE	1
ON QUANTIFICATION AND EXTENSIONALITY	1
A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH	1
DEDUCTIVE CARDINALITY RESULTS AND NUISANCE-LIKE PRINCIPLES	1
SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES	1
TWO-SORTED FREGE ARITHMETIC IS NOT CONSERVATIVE	1
TWO ARGUMENTS AGAINST THE GENERIC MULTIVERSE	1
BOLZANO’S MATHEMATICAL INFINITE	1
GROUPS OF WORLDVIEW TRANSFORMATIONS IMPLIED BY EINSTEIN’S SPECIAL PRINCIPLE OF RELATIVITY OVER ARBITRARY ORDERED FIELDS	1
NON-CONTRACTIVE LOGICS, PARADOXES, AND MULTIPLICATIVE QUANTIFIERS	1
MODES OF CONVERGENCE TO THE TRUTH: STEPS TOWARD A BETTER EPISTEMOLOGY OF INDUCTION	1
RELEVANT CONSEQUENCE RELATIONS: AN INVITATION	1
STEEL’S PROGRAMME: EVIDENTIAL FRAMEWORK, THE CORE AND ULTIMATE-L	1
GAMES AND CARDINALITIES IN INQUISITIVE FIRST-ORDER LOGIC	1
HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC	1
CONCILIATORY REASONING, SELF-DEFEAT, AND ABSTRACT ARGUMENTATION	1
INTERPRETATION, LOGIC AND PHILOSOPHY: JEAN NICOD’S GEOMETRY IN THE SENSIBLE WORLD	1
GENERALIZED PARTIAL MEET AND KERNEL CONTRACTIONS	1
TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS	1
UNPRINCIPLED	1
A SIMPLIFIED PROOF OF THE EPSILON THEOREMS	0
DYNAMIC HYPERINTENSIONAL BELIEF REVISION—ERRATUM	0
WHEN NO PRICE IS RIGHT	0

RSL volume 14 issue 4 Cover and Front matter	0
TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS	0
NATURAL KIND SEMANTICS FOR A CLASSICAL ESSENTIALIST THEORY OF KINDS	0
THE GENEALOGY OF ‘’	0
RSL volume 14 issue 3 Cover and Back matter	0
RSL volume 16 issue 3 Cover and Back matter	0
TAMING THE ‘ELSEWHERE’: ON EXPRESSIVITY OF TOPOLOGICAL LANGUAGES	0
THE COPERNICAN MULTIVERSE OF SETS	0
RSL volume 14 issue 2 Cover and Front matter	0
WHAT IS A RESTRICTIVE THEORY?	0
AXIOMS FOR TYPE-FREE SUBJECTIVE PROBABILITY	0
ON SHAVRUKOV’S NON-ISOMORPHISM THEOREM FOR DIAGONALIZABLE ALGEBRAS	0
THE TEMPORAL CONTINUUM	0
RSL volume 13 issue 4 Cover and Front matter	0
RSL volume 15 issue 3 Cover and Front matter	0
AN ALGEBRAIC PROOF OF COMPLETENESS FOR MONADIC FUZZY PREDICATE LOGIC MMTL∀ – ERRATUM	0
HUME’S PRINCIPLE, BAD COMPANY, AND THE AXIOM OF CHOICE	0
RSL volume 16 issue 2 Cover and Back matter	0
RSL volume 14 issue 3 Cover and Front matter	0
BINARY KRIPKE SEMANTICS FOR A STRONG LOGIC FOR NAIVE TRUTH	0
TOWARDS THE INEVITABILITY OF NON-CLASSICAL PROBABILITY	0
DECIDABLE FRAGMENTS OF THE QUANTIFIED ARGUMENT CALCULUS	0
RSL volume 17 issue 3 Cover and Back matter	0
RSL volume 15 issue 4 Cover and Front matter	0
TABULARITY AND POST-COMPLETENESS IN TENSE LOGIC	0
‘A REMARKABLE ARTIFICE’: LAPLACE, POISSON AND MATHEMATICAL PURITY	0
RSL volume 13 issue 4 Cover and Back matter	0
RIGOUR AND PROOF – CORRIGENDUM	0
LOGICS FROM ULTRAFILTERS	0
NORMALISATION FOR NEGATIVE FREE LOGICS WITHOUT AND WITH DEFINITE DESCRIPTIONS	0
ANSELM’S ONTOLOGICAL ARGUMENT AND GRADES OF BEING	0
ON THE TRUTH-CONVERGENCE OF OPEN-MINDED BAYESIANISM	0
RSL volume 17 issue 2 Cover and Back matter	0
KNOWLEDGE, JUSTIFICATION, AND ADEQUATE REASONS—ERRATUM	0
ARROW’S THEOREM, ULTRAFILTERS, AND REVERSE MATHEMATICS	0
STRONG HOMOMORPHISMS, CATEGORY THEORY, AND SEMANTIC PARADOX	0
VARIETIES OF CLASS-THEORETIC POTENTIALISM	0
ONTOLOGICAL PURITY FOR FORMAL PROOFS	0
A NOTE ON THE LEARNING-THEORETIC CHARACTERIZATIONS OF RANDOMNESS AND CONVERGENCE	0
RSL volume 15 issue 2 Cover and Front matter	0
RSL volume 16 issue 4 Cover and Back matter	0
COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND	0
RSL volume 17 issue 1 Cover and Back matter	0
RSL volume 15 issue 2 Cover and Back matter	0
RSL volume 15 issue 3 Cover and Back matter	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 14 issue 2 Cover and Back matter	0
RSL volume 15 issue 1 Cover and Back matter	0
A NATURAL DEDUCTION SYSTEM FOR ORTHOMODULAR LOGIC	0
AN ALGEBRAIC PROOF OF COMPLETENESS FOR MONADIC FUZZY PREDICATE LOGIC	0
IS CANTOR’S THEOREM A DIALETHEIA? VARIATIONS ON A PARACONSISTENT APPROACH TO CANTOR’S THEOREM	0
RSL volume 16 issue 2 Cover and Front matter	0
RSL volume 16 issue 3 Cover and Front matter	0
THE ZHOU ORDINAL OF LABELLED MARKOV PROCESSES OVER SEPARABLE SPACES	0
RSL volume 14 issue 1 Cover and Front matter	0
META-CLASSICAL NON-CLASSICAL LOGICS	0
CONCEPTUAL DISTANCE AND ALGEBRAS OF CONCEPTS	0
PROBABILISTIC ENTAILMENT ON FIRST ORDER LANGUAGES AND REASONING WITH INCONSISTENCIES	0
ANALYTICITY AND SYNTHETICITY IN TYPE THEORY REVISITED	0
RSL volume 17 issue 3 Cover and Front matter	0
RSL volume 17 issue 1 Cover and Front matter	0
NON-FACTIVE KOLMOGOROV CONDITIONALIZATION	0
PLURAL ANCESTRAL LOGIC AS THE LOGIC OF ARITHMETIC	0
RSL volume 15 issue 4 Cover and Back matter	0
RSL volume 14 issue 4 Cover and Back matter	0
RSL volume 16 issue 1 Cover and Front matter	0
PARACONSISTENT AND PARACOMPLETE ZERMELO–FRAENKEL SET THEORY	0
RSL volume 17 issue 2 Cover and Front matter	0
REFERENCE DIGRAPHS OF NON-SELF-REFERENTIAL PARADOXES	0
Modal Quantifiers, Potential Infinity, and Yablo sequences	0
FINITE AXIOMATIZABILITY OF TRANSITIVE MODAL LOGICS OF FINITE DEPTH AND WIDTH WITH RESPECT TO PROPER-SUCCESSOR-EQUIVALENCE	0
DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC	0
FIRST-ORDER FRIENDLINESS	0
WHAT IS A RULE OF INFERENCE?	0
RSL volume 15 issue 1 Cover and Front matter	0
RSL volume 14 issue 1 Cover and Back matter	0
FINITARY UPPER LOGICISM	0
RSL volume 16 issue 4 Cover and Front matter	0
BEYOND LINGUISTIC INTERPRETATION IN THEORY COMPARISON	0

CANONICITY IN POWER AND MODAL LOGICS OF FINITE ACHRONAL WIDTH	0
CRAIG INTERPOLATION THEOREM FAILS IN BI-INTUITIONISTIC PREDICATE LOGIC	0
AN ALGORITHMIC IMPOSSIBLE-WORLDS MODEL OF BELIEF AND KNOWLEDGE	0
CONDITIONAL LOGIC IS COMPLETE FOR CONVEXITY IN THE PLANE	0
RSL volume 16 issue 1 Cover and Back matter	0