Review Of Symbolic Logic

Review Of Symbolic Logic

符号逻辑回顾

  • 2区 中科院分区
  • Q2 JCR分区

高引用文章

文章名称 引用次数
BELIEVING EPISTEMIC CONTRADICTIONS 5
REFERENCE IN ARITHMETIC 3
THE LOGIC OF RESOURCES AND CAPABILITIES 3
A DUTCH BOOK THEOREM AND CONVERSE DUTCH BOOK THEOREM FOR KOLMOGOROV CONDITIONALIZATION 3
COMPLIANCE AND COMMAND I-CATEGORICAL IMPERATIVES 3
SUBSTRUCTURAL INQUISITIVE LOGICS 2
COMPLIANCE AND COMMAND II, IMPERATIVES AND DEONTICS 2
CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS 2
PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS 2
LOGIC FOR EXACT ENTAILMENT 2
COMPLETENESS FOR COUNTER-DOXA CONDITIONALS - USING RANKING SEMANTICS 2
STABLE MODAL LOGICS 1
PURE LOGIC OF ITERATED FULL GROUND 1
ACCURACY AND UR-PRIOR CONDITIONALIZATION 1
REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS 1
NATURAL AXIOMS FOR CLASSICAL MEREOLOGY 1
MATHEMATICAL INFERENCE AND LOGICAL INFERENCE 1
A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS 1
THE LOGIC AND TOPOLOGY OF KANT'S TEMPORAL CONTINUUM 1
SUSZKO'S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY 1
MODAL STRUCTURALISM AND REFLECTION 1
CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME 1
MANY-VALUED LOGIC OF INFORMAL PROVABILITY: A NON-DETERMINISTIC STRATEGY 1
CLASSICALLY ARCHETYPAL RULES 1
EVERYONE KNOWS THAT SOMEONE KNOWS: QUANTIFIERS OVER EPISTEMIC AGENTS 1
UNIVERSES AND UNIVALENCE IN HOMOTOPY TYPE THEORY 1
SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION 0
TWO SYLLOGISMS IN THE MOZI: CHINESE LOGIC AND LANGUAGE 0
COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS 0
VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS 0
QUANTIFIED INTUITIONISTIC LOGIC OVER METRIZABLE SPACES 0
CARNAP'S DEFENSE OF IMPREDICATIVE DEFINITIONS 0
AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS 0
CAPTURING CONSEQUENCE 0
A UNIFIED THEORY OF TRUTH AND PARADOX 0
AN ANALYSIS OF THE RULES OF GENTZEN'S NJ AND LJ 0
STRICT FINITISM, FEASIBILITY, AND THE SORITES 0
THE SEMANTICS OF VALUE-RANGE NAMES AND FREGE'S PROOF OF REFERENTIALITY 0
MODALITY AND EXPRESSIBILITY 0
SMALL INFINITARY EPISTEMIC LOGICS 0
DYNAMIC GRADED EPISTEMIC LOGIC 0
MODAL LOGIC WITHOUT CONTRACTION IN A METATHEORY WITHOUT CONTRACTION 0
FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS 0
TYCHONOFF HED-SPACES AND ZEMANIAN EXTENSIONS OF S4.3 0
LOGICALITY AND MEANING 0
CAN MODALITIES SAVE NAIVE SET THEORY? 0
HILBERT, DUALITY, AND THE GEOMETRICAL ROOTS OF MODEL THEORY 0
LOGICAL CONTEXTUALITY IN FREGE 0
ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION 0
FREGE'S CONSTRAINT AND THE NATURE OF FREGE'S FOUNDATIONAL PROGRAM 0