Bulletin of Symbolic Logic

Aims & Scope

The Bulletin of Symbolic Logic was established in 1995 by the Association for Symbolic Logic to provide a journal of high standards that would be both accessible and of interest to as wide an audience as possible.

It is designed to cover all areas within the purview of the ASL: mathematical logic and its applications, philosophical and non-classical logic and its applications, history and philosophy of logic, and philosophy and methodology of mathematics.

View Aims & Scope

---

Metrics & Ranking

Impact Factor

Year	Value
2025	1.1
2024	0.70

Journal Rank

Year	Value
2024	11193

Journal Citation Indicator

Year	Value
2024	49

SJR (SCImago Journal Rank)

Year	Value
2024	0.519

Quartile

Year	Value
2024	Q1

---

---

Abstracting & Indexing

Journal is indexed in leading academic databases, ensuring global visibility and accessibility of our peer-reviewed research.

• Scopus
• Google Scholar
• Web of Science

---

Subjects & Keywords

Journal’s research areas, covering key disciplines and specialized sub-topics in Arts and Humanities and Mathematics, designed to support cutting-edge academic discovery.

---

Most Cited Articles

The Most Cited Articles section features the journal's most impactful research, based on citation counts. These articles have been referenced frequently by other researchers, indicating their significant contribution to their respective fields.

• The Logic of Bunched Implications

  Citation: 299

  Authors: Peter W., David J.

• Explicit Provability and Constructive Semantics

  Citation: 282

  Authors: Sergei N.

• On the Decision Problem for Two-Variable First-Order Logic

  Citation: 179

  Authors: Erich, Phokion G., Moshe Y.

• The Complexity of Propositional Proofs

  Citation: 152

  Authors: Nathan

• Computability and Recursion

  Citation: 111

  Authors: Robert I.

• Hyperlinear and Sofic Groups: A Brief Guide

  Citation: 103

  Authors: Vladimir G.

• Tarski's System of Geometry

  Citation: 90

  Authors: Alfred, Steven

• Cut Elimination in the Presence of Axioms

  Citation: 84

  Authors: Sara, Jan

• Domains for Computation in Mathematics, Physics and Exact Real Arithmetic

  Citation: 82

  Authors: Abbas

• Does Mathematics Need New Axioms?

  Citation: 70

  Authors: Solomon, Harvey M., Penelope, John R.

---